Phi 170 - Spring 2019
## Intro to Logic

#1 - due Feb 05
#2 - due Feb 19
#3 - due Feb 26
#4 - due Mar 05
#5 - due Mar 12
Mar 26
Exam - due May 21

## Intro to Logic

syllabus

### HW - before the midterm

### Midterm

### Final

### Week 1: Jan 29

### Week 2: Feb 5

### Week 3: Feb 12 - No Class

### Week 4: Feb 19

- How to prepare for this class: First, complete homework #2 (pdf). NB: You should only do exercises 1, 2, 4a, 4b and 4c. You may skip exercises 3 and 4d. In addition, make sure you watch and study the videos below along with the slides:
- Semantics of propositional logic (video, slides)
- Truth tables for "not", "and" and "or" (video, slides)
- Truth table for "implies" (video, slides)
- Truth of a formula (video, slides)
- You should watch each video at least twice. To strengthen your learning, also read section 2.5 of the textbook (pdf). If anything is unclear, feel free to email me and come to class with questions.

### Week 5: Feb 26

- How to prepare for this class: First, complete homework #3 (pdf). In addition, make sure you watch and study the videos below along with the slides:
- Validity of a formula (video, slides)
- Validity of PEM and PNC (video, slides)
- Validity of Modus Ponens and Modus Tollens (video, slides)
- You should watch each video at least twice. To strengthen your learning, read section 2.6 of the textbook (pdf). If anything is unclear, feel free to email me and come to class with questions.

### Week 6: March 5

- How to prepare for this class: First, complete homework #4 (pdf). In addition, make sure you watch and study the videos below along with the slides:
- Derivations in natural deduction (video, slides)
- Introduction and elimination rules for "and" and "implies" (video, slides)
- Idempotency and commutativity (video, slides)
- You should watch each video at least twice. To strengthen your learning, read my notes on how to construct derivations in propositional logic (up to page 5 only) (pdf). If anything is unclear, feel free to email me and come to class with questions.

### Week 7: March 12

- How to prepare for this class: Review videos and course materials from last week and complete homework #5 (pdf).

### Week 8: March 19

- How to prepare for this class: First, please redo homework #5 ( pdf). Second, make sure you review all videos; slides; and solutions to previous homework assignments. Third, review textbook excerpts about:
- syntax of propositional logic (section 2.4; pdf)
- truth in propositional logic (section 2.5; pdf)
- validity in propositional logic (section 2.6; pdf)
- derivations in propositional logic (pdf) NB: Focus ONLY on rules for conjunction and implication
- Finally, have a look at the slides below:
- Midterm review (1) - syntax and semantics of propositional logic (slides)
- Midterm review (2) - derivations in propositional logic (slides)
- Next week there will be a midterm exam. Come well prepared!

### Week 9: March 26

- Midterm exam

### Week 10: Apr 2

- How to preparare for this class: relax! We will review the solutions to the midterm exam.

### Week 11: Apr 9

- How to prepare for this class: Watch the videos below about Wason's selection task and derivation rules for negation.
- Wasons's selection task (video, video)
- Negated formulas (video, slides)
- You should watch each video at least twice. To strengthen your learning, read the rest of my notes on how to construct derivations in propositional logic (pdf). Skip the part about rules for disjunction. If anything is unclear, feel free to email me and come to class with questions.

### Week 12: Apr 16

- How to prepare for this class: Make sure you review the videos and slides from last week, and then begin completing homework #6 (pdf).

### Week 13: Apr 23 - Spring break

### Week 14: Apr 30

- How to prepare for this class: Make sure you review the videos and slides from earlier weeks, and then complete homework #6 (pdf). Next, start reviewing the course materials in their entirety in preparation for the final exam. We will begin the review in class.

### Week 15: May 7

- How to prepare for this class: Make sure you review everything under items (1), (2) and (3) in the review sheet (pdf). Come to class with questions!

### Week 16: May 14

- How to prepare for this class: Make sure you review all the videos and slides from earlier weeks, and then complete homework #7 (pdf). This will be your last homework assignment and its format will be similar to the final exam. The final take-home exam will be handed in. The final (pdf) is due May 21 in C-365 between 12 noon and 6pm.