Assertion: propositional variable | /r/HasProperty | nullary predicates
Facets:
value: in first order logic
type: OTHER
Source sentences:
text: Propositional variables can be considered nullary predicates in first order logic, because there are no object variables x, y.., attached to predicate letters Px, xRy,...