Translation of "predicate logic" into Chinese

谓词逻辑 is the translation of "predicate logic" into Chinese.

predicate logic noun grammar

(logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. [..]

+ Add

English-Chinese dictionary

  • 谓词逻辑

    subfield of logic

  • Show algorithmically generated translations

Automatic translations of "predicate logic" into Chinese

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

Phrases similar to "predicate logic" with translations into Chinese

Add

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