Go backward to Explicit Predicate DefinitionsGo up to TopGo forward to Examples |

A predicate definition in natural language is usually expressed as

introducing the unary predicatexis (called) aP, if ...,

introducing the binary predicatexandyareP, if ...

which also introducesxis aPofy, if ...

*Not necessarily formal syntax*.

Author: Wolfgang Schreiner

Last Modification: October 14, 1999