Skip to definition.
NEW version 6: Get the FREE one-click dictionary software for Windows.


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

Nearest

predetermination
predetermine
predetermined
predeterminer
predial
pre-dial
predicable
predicament
predicant
predicate
predicate calculus
predication
predicative
predicatively
predicator
predicatory
predict
predictability
predictable
predictably
prediction