Translation of "predicate calculus" into German

Prädikatenlogik, Prädikatrechnung are the top translations of "predicate calculus" into German.

predicate calculus noun grammar

(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. [..]

+ Add

English-German dictionary

  • Prädikatenlogik

    noun feminine

    a branch of logic

  • Prädikatrechnung

    noun feminine
  • Show algorithmically generated translations

Automatic translations of "predicate calculus" into German

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "predicate calculus" into German in sentences, translation memory