The branch of formal logic, also called functional calculus, 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 Web Resource. https://mathworld.wolfram.com/PredicateCalculus.html