ALL meanings of predicate calculus
pred·i·cate cal·cu·lus
P p - abbreviation Technical meaning of PREDICATE CALCULUS predicate logic 3
- noun predicate calculus functional calculus. 1
- noun Technical meaning of predicate calculus (logic) (Or "predicate calculus") An extension of propositional logic with separate symbols for predicates, subjects, and quantifiers. For example, where propositional logic might assign a single symbol P to the proposition "All men are mortal", predicate logic can define the predicate M(x) which asserts that the subject, x, is mortal and bind x with the universal quantifier ("For all"): All x . M(x) Higher-order predicate logic allows predicates to be the subjects of other predicates. 1
- noun predicate calculus 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 0