Lecture: Predicate Calculus

Background Material

• Propositional Calculus
• Natural Deduction
• Graphs

Reading

• Chapters on predicate calculus in OLI
• Chapters on predicate calculus in FOCS

Topics

Motivation Syntax Proofs Semantics Undecidability Limitations

Lecture Notes

• predicate.pptx or predicate.pdf

Programs

• alloy

Resources

• First-order logic wikipedia page.
• M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition, Cambridge University Press, 2004.
• J. Schoenfield, Mathematical Logic, Addison-Wesley, 1967.

Assignments

• None