Lectures for Quiz One:

• Lecture 1: 8/23/04 – Introduction
• Lecture 2: 8/25/04 – Tarski's World: §1.1-4
• Lecture 3: 8/30/04 – Arguments and Proofs: §2.1-3
• Lecture 4: 9/1/04 – Arguments and Proofs: §2.4 (pp58-60 from web site not book) - §2.5
• 9/6/04 – Labor Day
  
• Lecture 5: 9/8/04 – Boolean Connectives: §3.1-4
• Lecture 6: 9/13/04 – Ambiguity, Equivalence and Translation: §3.5-7
• 9/15/04 – Class cancelled due to flooding: download Quiz 1 practice
• 9/20/04 – Quiz One
  

Lectures for Quiz Two:

• Lecture 8: 9/22/04 – Truth Tables: §4.1
• Lecture 9: 9/27/04 – Tautological Equivalence and Consequence: §4.2-3
• Lecture 10: 9/29/04 – Distributing Negation: §4.4-5
• Lecture 11: 10/4/04 – Informal Proofs for Boolean Connectives: §5.1-3
• Lecture 12: 10/6/04 – Review: download Quiz 2 practice
• 10/11/04 – Quiz Two
  

Lectures for Quiz Three:

• Lecture 14: 10/13/04 – Formal Proofs for Boolean Connectives I (^ and v): §6.1-2
  
• Lecture 15: 10/18/04 – Formal Proofs for Boolean Connectives II ( | and ¬): §6.3
• Lecture 16: 10/20/04 – Proof Strategies: §6.4-5
  
• Lecture 17: 10/25/04 – Conditionals (-> and <->): §7.1-2
  
• Lecture 18: 10/27/04 – Review: download Quiz 3 practice
  
• 11/1/04 – Quiz Three
  

Lectures for Quiz Four:

• Lecture 20: 11/3/04 – Proofs with conditionals: §8.1-2
  
• Lecture 21: 11/8/04 – 'All' and 'Some': §9.1-4
  
• Lecture 22: 11/10/04 – Translations: §9.5-6,
  
• Lecture 23: 11/15/04 – cancelled due to illness
• Lecture 24: 11/17/04 – Review: download Quiz 4 practice
  
• 11/22/04 – Quiz Four

• Lecture 26: 11/24/04 – Quantifiers and Identity (attendance not required)

Lectures for the Final:

• Lecture 27: 11/29/04 – Multiple Quantification: §11.1-4

Back to 104 web site