Translation of "first-order logic" into Indonesian

Logika predikat tingkat pertama is the translation of "first-order logic" into Indonesian.

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

  • Logika predikat tingkat pertama

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

  • Show algorithmically generated translations

Automatic translations of "first-order logic" into Indonesian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

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