Week One and two: Introduction to Course Themes

Atomic Sentences and Their Logic

Read: 1.1-1.5, and 2.1-2.5

Assignment 1 and quiz 1 on Friday of week 2.

Week Three: The Boolean Connectives

Read: 3.1-3.7

Week Four: The Logic of Boolean Connectives

Read: 4.1-4.6

Assignment and quiz 2 on Friday.

Week Five: Methods of Proof for Boolean Logic

Read: 5.1-5.4

Week Five: Midterm and Prep

Midterm

Week Seven: Formal Proofs and Boolean Logic

Read: 6.1-6.6

Assignment and quiz 3 on Friday of week 7.

Week Eight: Conditionals

Read: 7.1-7.5

Week Nine: The Logic of Conditionals

Read: 8.1-8.5

Assignment and quiz 4 on Thursday of week 9.

Week Eleven: Prep and Midterm II

Wednesday: Prep

Monday: Midterm II

Week Twelve and Thirteen: Quantifiers and Their Logic

Read: 9.1-9.8 / 10.1-10.5

Assignment and quiz 5 on Thursday of week 13.

Week Fourteen: Fall BREAK!!!!

Week Fifteen: Multiple Quantifiers/Proofs w/Quantifiers

Read: 11.1-11.8/12.1-12.5/14.1-14.6

Assignment and quiz 5 on Thursday of week 15.

Week Sixteen: Review and connections

Week 17: Final Exam, May 14.