predicate calculus

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.

Translations

 * Finnish: predikaattilogiikka
 * French: calcul des prédicats
 * German:
 * Icelandic: umsagnareikningur
 * Macedonian: предика́тна пресметка
 * Serbo-Croatian: predikatni račun
 * Swedish: predikatlogik