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

CITE THIS AS:

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