Assertion: functional predicate | /r/HasProperty | special kind of predicate
Facets:
Source sentences:
text: Because the elimination of functional predicates is both convenient for some purposes and possible, many treatments of formal logic do not deal explicitly with function symbols but instead use only relation symbols; another way to think of this is that a functional predicate is a special kind of predicate, specifically one that satisfies the proposition above.