Go backward to Go up to Top Go forward to Domain

Predicate Logic

Superset of propositional logic that describes values and properties of a domain consisting of:

1. A collection of values (objects, entities).
2. A collection of functions (mappings):
   • Takes a certain number of values (the arguments);
   • Returns a value (the result);
   • Number of arguments is the arity of the function;
   • Zero-arity functions are called (object) constants.
3. A collection of predicates (relations, properties, attributes):
   • Takes a certain number of values (the arguments);
   • Returns a truth value;
   • Number of arguments is the arity of the predicate.