HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › predicate calculus
← Back to search

Meaning of predicate calculus | Babel Free

Noun CEFR B2

Definitions

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.

uncountable

Equivalents

Bosanski predikatni račun
Čeština predikátový počet
Deutsch Prädikatenlogik
Suomi predikaattilogiikka
Français calcul des prédicats
Hrvatski predikatni račun
Српски predikatni račun

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See all B2 English words →

See also

predicate logic predicate noun Predicated Predicates predicatid Predicating

Learn this word in context

See predicate calculus used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free