Assertion: propositional logic | /r/HasProperty | extended with formulas of the form
Facets:
Source sentences:
text: Here, propositional logic is extended with formulas of the form \(a_1P(\phi_1) +