Translation of "predicate calculus" into Japanese
述語論理, じゅつごろんり are the top translations of "predicate calculus" into Japanese.
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. [..]
-
述語論理
noun -
じゅつごろんり
-
Show algorithmically generated translations
Automatic translations of "predicate calculus" into Japanese
-
Glosbe Translate
-
Google Translate
Add example
Add