Assertion: functional predicate | /r/HasProperty | logical symbol
Facets:
value: in related
type: DEGREE
value: in formal logic
type: OTHER
value: in branches of mathematics
type: LOCATION
Source sentences:
text: In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.