Assertion: propositional logic | /r/HasProperty | formal system
Facets:
value: in logic
type: OTHER
value: in mathematics
type: LOCATION
Source sentences:
text: Propositional logic is a formal system in mathematics and logic.