predicate calculus

English

Noun

predicate calculus (uncountable)

(logic) 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.

Hypernyms

logical calculus

Meronyms

Derived terms

monadic predicate calculus

Related terms

predicate logic

Translations

a branch of logic

Finnish: predikaattilogiikka
French: calcul des prédicats m
German: Prädikatenlogik (de) f
Icelandic: umsagnareikningur m
Macedonian: предика́тна пресметка f (predikátna presmetka)
Serbo-Croatian: predikatni račun m
Swedish: predikatlogik

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.