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