Assertion: propositional variable | /r/ObjectUse | used in propositional logic
Facets:
Source sentences:
text: Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.