Advertisement
Advertisement
predicate calculus
predicate calculus
noun
- the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals Also calledfunctional calculus See also propositional calculus
Discover More
Word History and Origins
Origin of predicate calculus1
First recorded in 1945–50
Advertisement
Word of the Day
[gal-uh-maw-free ]
Meaning and examplesStart each day with the Word of the Day in your inbox!
By clicking "Sign Up", you are accepting Dictionary.com Terms & Conditions and Privacy Policies.
Advertisement
Advertisement
Advertisement
Browse