Syllabus: [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