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.
Predicate Calculus
See also
Gödel's First Incompleteness Theorem, Gödel's Second Incompleteness Theorem, Logic, Predicate, Propositional CalculusExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Predicate Calculus." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/PredicateCalculus.html