Assertion: predicate | /r/HasProperty | proposition
Facets:
Source sentences:
text: next → ← prev Predicate Logic Predicate Logic deals with predicates, which are propositions, consist of variables.
text: Predicate Calculus deals with predicates, which are propositions containing variables.