Translation of "first-order logic" into Arabic
منطق الرتبَة الأولى, منطق الرتبة الأولى are the top translations of "first-order logic" into Arabic.
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. [..]
-
منطق الرتبَة الأولى
formal deductive system expanded from propositional logic
-
منطق الرتبة الأولى
collection of formal systems used in mathematics, philosophy, linguistics, and computer science [..]
-
Show algorithmically generated translations
Automatic translations of "first-order logic" into Arabic
-
Glosbe Translate
-
Google Translate
Add example
Add