Translation of "first-order logic" into Chinese

一阶逻辑 is the translation of "first-order logic" into Chinese.

first-order logic noun grammar

(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. [..]

+ Add

English-Chinese dictionary

  • 一阶逻辑

    collection of formal systems used in mathematics, philosophy, linguistics, and computer science

  • Show algorithmically generated translations

Automatic translations of "first-order logic" into Chinese

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "first-order logic" into Chinese in sentences, translation memory