Translation of "first-order logic" into Ukrainian

Логіка першого порядку is the translation of "first-order logic" into Ukrainian.

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

  • Логіка першого порядку

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

  • Show algorithmically generated translations

Automatic translations of "first-order logic" into Ukrainian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

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