predicate calculus

From WikiWord

English

Pronunciation

No pronunciation has been added yet.

Noun

predicate calculus noun

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.

Related terms

Synonyms

functional calculus quantifier existential quantifier predicate logic propositional calculus universal quantifier existential instantiation domain of discourse peirce's law sentential calculus barcan formula logical calculus buridan formula first-order logic valuation propositional constant

References