English Explanatory Dictionary

predicate calculus

English dictionary entry

Meanings

noun
  1. The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.

Word forms

predicate calculus

Related words

predicate logic

Derived words

monadic predicate calculus
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on P Russian dictionary Dahl dictionary