Lecture: Natural Deduction

Background Material

• Propositional Calculus
• Proofs encountered in various math courses.

Reading

• Chapters 3 of CMU OLI text.

Topics

• sequents and formal representation of proofs
• Validating reasoning using truth tables and proofs.
• Natural deduction
• introduction and elimination rules
• provable equivalence
• tautologies and theorems
• soundness and completeness

Lecture Notes

• deduction.pptx or deduction.pdf

Programs

• None.

Resources

• logic and proofs course from CMU online learning initiative.

Assignments

• Practice using LogicLab.
  1. Prove commutivaty of & and v (this is a chapter 5 practice problem)
  2. Prove associativity of & and v(this is a chapter 5 practice problem)
  3. Prove distributive laws (this is a chapter 5 practice problem)
• Quizzes and problem sets following chapters 3 of the CMU OLI text. Due Fri. Apr. 15 at 11:59 pm.