Dictionary

predicate calculus en · NOUN

Meanings

1. (uncountable) 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.

Deriveds

monadic predicate calculus

Hypernyms

logical calculus

Meronyms

existential quantifier · universal quantifier

Relateds

predicate logic

Translations (9)

is umsagnareikningur (a branch of logic) · de Prädikatenlogik (a branch of logic) · sh predikatni račun (a branch of logic) · hu elsőrendű logika (a branch of logic) · pl rachunek predykatów pierwszego rzędu (a branch of logic) · fr calcul des prédicats (a branch of logic) · fi predikaattilogiikka (a branch of logic) · mk предика́тна пресметка (a branch of logic) · sv predikatlogik (a branch of logic)