Logic Module 3

Module 3 - Chapter 4. (LFOL) (Week 13)

• Seminar 5 Conditionals and Biconditionals.
  • Mon. 13-15, U3.
  • Read Chap. 4, LFOL.
• Seminar 6 Tarski's World, Models, The Game.
  • Tue. 13-15, U6.
• Lecture 3 Practice with Tarski's World Proof Theory.
  • Thur. 15-17, U1.
• Lab 5 Chap 4. Tarski's World.
  • Thu. 8-10, MC Mac 1, (A).
  • Thu. 13-15, MC Mac 1, (B).
• Lab 6 Chap 4. Tarski's World.
  • Fri. 10-12, MC Mac 1, (A).
  • Fri. 13-15, MC Mac 1, (B).

Module 3 Lecture Exercises

Module 3 Lab Exercises