Englisch
Detailed Synonyms for predicate calculus in Englisch
predicate calculus:
predicate calculus [the ~] Nomen
-
the predicate calculus
– a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) 1the functional calculus; the predicate calculus– a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) 1