predicate calculus
ˈprɛdɪkət ˈkælkjələs
Definition

Definition of predicate calculus - Reverso English Dictionary

Noun

mathematical logicTECH.branch of logic using symbols for statements about objects and propertiesTECH.
  • Predicate calculus helps formalize statements in mathematics.
  • Students study predicate calculus to analyze quantifiers.
  • Researchers applied predicate calculus in the proof.
Add a suggestion |

Terms with predicate calculus included in their meaning

💡 A powerful way to uncover related words, idioms, and expressions linked by the same idea — and explore meaning beyond exact word matches.
predicate calculus
quantifying over individuals not predicates or clauses

View all translations of predicate calculus

Click below to see the appropriate translations facing each meaning.
  1. French:calcul des prédicats, ...
  2. German:Prädikatenlogik, ...
  3. Italian:calcolo dei predicati, ...
  4. Spanish:cálculo de predicados, ...
  5. Portuguese:cálculo de predicados, ...
  6. Chinese:谓词演算, ...
  7. Japanese:述語論理, ...
  8. Arabic:حِسَاب القَضَايَا, ...
  9. Hebrew:לוֹגִיקַת טַעֲנוֹת, ...
  10. Russian:исчисление предикатов, ...
  11. Ukrainian:логіка предикатів, ...
  12. Hindi:प्रेडिकेट कलन, ...
Browse the dictionary entries starting with “p”:

Discover how Reverso redefines the dictionary

Go beyond “simple words”

Get more than a simple definition

Go from understanding to mastery