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.