Skip to definition.
Get the FREE one-click dictionary software for Windows or the iPhone/iPad and Android apps

Noun: predicate calculus
  1. A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
    - functional calculus

Type of: formal logic, mathematical logic, symbolic logic

Encyclopedia: Predicate calculus