Predicate calculus, also called predicate logic or functional calculus, is the branch of formal logic that deals with representing the logical connections between statements as well as the statements themselves.

See also

Gödel's First Incompleteness Theorem, Gödel's Second Incompleteness Theorem, Logic, Predicate, Propositional Calculus

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Predicate Calculus." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/PredicateCalculus.html

Subject classifications