Translation of "predicate calculus" into Estonian
predikaatarvutus is the translation of "predicate calculus" into Estonian.
predicate calculus
noun
grammar
(logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse. [..]
-
predikaatarvutus
-
Show algorithmically generated translations
Automatic translations of "predicate calculus" into Estonian
-
Glosbe Translate
-
Google Translate
Add example
Add