Assertion: propositional logic | /r/HasProperty | restricted to no function symbols
Facets:
Source sentences:
text: These include propositional logic and monadic predicate logic, which is first-order logic restricted to unary predicate symbols and no function symbols.