Lecture 9: Predicate Calculus

Background Material

• Lecture 8
  

Reading

• Chapter 13 (Secs. 12.10 and 12.11)
  
• Chapter 14 (all sections)
  

Topics

• Deduction and Resolution
• Predicates
• Quantifiers (bound and free variables)
• Interpretations
• Tautologies in Predicate Calculus
  
• Deduction in Predicate Calculus
  

Lecture Notes

• None

Programs

• Otter: An Automated Deduction System (resolution prover)

Resources

• None posted

Assignments

• Assignment 7 - Extra Credit - due on Mon. Dec. 13 by 10 amPM.