Predicate Calculus

The branch of formal logic, also called functional calculus, 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 Web Resource.

Subject classifications