Assertion: boolean algebra | /r/HasProperty | based
Facets:
value: finitely
type: DEGREE
value: on dealing with compound propositions
type: OTHER
Source sentences:
text: We say that Boolean algebra is finitely axiomatizable or finitely based.
text: Boolean algebra, and other forms of abstract propositional logic, are based on dealing with compound propositions made up of simple propositions joined by logical connectors like "and", "or", and "not".
text: We say that Boolean algebra is finitely axiomatizable or finitely based.