# Phil 315, Applied symbolic logic

- Ted Sider; Fall 2017 office hours: Mondays, 1-2 and by appointment
- Class meets in Scott Hall 104, M/Th 9:50-11:10

## Announcements

## Downloads

## Homeworks

- Due 9/18: exercises 2.1, 2.2a
- Due 9/25: exercises 2.2bc, 2.4abc, 2.6, 2.9, and this problem: "Show that in the interpretation in which every sentence letter is true, every formula with no ~s is true. (By "formula" here I mean official formula - no defined connectives allowed.)" Extra credit: exercises 2.7, 2.8.
- Due 10/2: exercise 2.11. For parts c and d you may not use contraposition 2, negated conditional, or excluded middle MP.
- Due 10/9: exercises 3.1, 3.2, 3.3, 3.5, 3.6. For 3.6, no need to do an inductive proof.
- Due 10/16: exercises 3.10, 3.12, 3.13. (3.8, 3.11, 3.14, 3.15 extra credit.)