Translation of "first-order logic" into Persian
حساب محمولات is the translation of "first-order logic" into Persian.
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. [..]
-
حساب محمولات
collection of formal systems used in mathematics, philosophy, linguistics, and computer science
-
Show algorithmically generated translations
Automatic translations of "first-order logic" into Persian
-
Glosbe Translate
-
Google Translate
Add example
Add