Go backward to Explicit Predicate Definitions Go up to Top Go forward to Examples |
A predicate definition in natural language is usually expressed as
x is (called) a P, if ...,introducing the unary predicate P(x), or
x and y are P, if ...introducing the binary predicate P(x, y), or
x is a P of y, if ...which also introduces P(x, y).
Not necessarily formal syntax.