Translation of "predicate calculus" into Chinese

谓词演算 is the translation of "predicate calculus" into Chinese.

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-Chinese dictionary

  • 谓词演算

    noun

  • Show algorithmically generated translations

Automatic translations of "predicate calculus" into Chinese

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

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