previous up next
Go backward to
Go up to Top
Go forward to Domain
RISC-Linz logo

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):
  3. A collection of predicates (relations, properties, attributes):

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next