Syllabus: [pdf] [tex]

Syllabus (post-virus): [pdf] [tex]

Textbook: forall $x$: An Introduction to Formal Logic (direct link to book: [pdf])

__Exams__

__Homework__

**Homework 1** (*due 21 January, graded 28 January*) (solution): p.5-6: #1, 3, 4; p.16: A

**Homework 2** (*due 28 January, graded 4 February*) (solution): p.22-25: problems B, C, F, G; ~~p.43-48: problems A, E, H~~

**Homework 3** (*due 4 February, graded 10 February*) (solution): p.43-48: problems A, E, H; p. 55: problems B, C; p.76: problems C, D

**Homework 4** (*due 11 February, graded 11 February*) (solution): p.85 B1, B3, C1, C3, C4, D3, D4, D5, E4, E5, G3, G4, J

**Homework 5** (*due 27 February, graded 23 March*) (solution): p.133-134: A, B, C2, C3, C5, C6, C9, ~~C11~~ (prove C11 for +2 bonus points)

**Homework 6** (*due 5 March, graded 27 March*) (solution): p. 153-154: A2, A4, A5, A7, C1, C3, C4, D3, D4, ~~D7~~

**Homework 7** (*due 24 March, graded 27 March*) (solution) : p. 162: B2, B4; p. 165-166: A2, A4, B2, C1, C3

**Homework 8** (*due 31 March*) (solution): (Ch.22) p.204: A1, A6, B1, B3, C1, C5, D2, D6; (Ch. 23) p.216: A2, A5, B3, B15, C1, C4, D4, D7, E1, E12

*Videos for HW8*: p. 204 A2, A7, p. 204 B2, B4, p. 204: C2, C6, p. 204: D3, D4, and p. 216: A1, A6, B4, B14, C2, C3

**Exam 2 (3 April) -- covers HW5-HW7 (was originally planned for 19 March)**

**Homework 9** (*due 7 April*) (solution): (Ch.26) p.241 A1, A3, A5; (Ch.28) p. 257: A2, A5, A9, B6, B7, B13, C2, C3, C7

*Videos for HW9*: p. 241: A2, A4, p. 257: A2, A4, A8, p. 257: B5, B10, B15, and p. 257: C1, C5, C10

**Homework 10** (*due 16 April*) (solution): p.267: A1, A4, B2, B5, C2, C12, D1, D4

*Videos for HW10*: p.267: A2, A5, p.267 B3, B4, p.267 C3, C13, p.267 D2 D5

**Homework 11** (*due 21 April*) (solution): p.288: D2, D7, E4, E5, G1; p. 296: A2, A3, C2; p. 303: A3

*Videos for HW11*: p. 288 D3, p. 288 D8, p. 288 E3, p. 288 E6, p. 288 G2, p. 296 A1, p. 296 A4, p. 296 C1

**Exam 3 (24 April) -- covers HW8-HW11**

**Homework 12** (*due 28 April*):

__Chapter Videos__

Chapter 21

Chapter 22

Chapter 23

Chapter 24

Chapter 26

Chapter 27

Chapter 28

Chapter 29

Chapter 30

Chapter 31

Chapter 32

Chapter 33

Chapter 34

Chapter 35