Go backward to Domain Go up to Top Go forward to Predicate Logic

Example

• The set of natural numbers
  • constants "zero" and "one", binary functions "addition", "multiplication";
  • binary predicate "is less than';
• The people in Austria
  • functions "mother of" and "father of";
  • unary predicates "is male" and "is female"; ternary predicate "are parents of";
• The set of Java values of types int and int[]
  • function "indexed array access";
  • predicate "is sorted".