Predicate Calculus (original) (raw)

TOPICS

Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematics Geometry History and Terminology Number Theory Probability and Statistics Recreational Mathematics Topology

Alphabetical Index New in MathWorld

• Foundations of Mathematics
• Logic
• General Logic

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

More things to try:

• (1+e)/2
• fibonacci(n) recurrence
• multinomial coefficient calculator

Cite this as:

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

Subject classifications

• Foundations of Mathematics
• Logic
• General Logic