English
Detailed Synonyms for predicate calculus in English
predicate calculus:
predicate calculus [the ~] noun
-
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 predicate calculus; the functional calculus– a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) 1