Wiktionary
predicate calculus
n. (context logic English) 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.
WordNet
predicate calculus
n. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) [syn: functional calculus]
Usage examples of "predicate calculus".
A human is a mixture of thoughts and glands and general confusion, and what goes on in a person's subconscious mind is more important than any A implies B predicate calculus of the conscious mind.