predicate calculus :

Search Words
You can search or browse for words

predicate calculus


  • n  a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

Bee Dictionary: Search, browse, look at common errors, idioms and more.