Predicate calculus

noun

Word Frequency: 0.2

Definitions

1.nounThe 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.

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

🔗 Find words with "predicate calculus" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.