Please see yesterday's post.

Next week is natural deduction in predicate logic. On Monday we'll focus on natural deduction in propositional logic. Make sure you reacquaint yourself with important rules of inference, especially disjunction elimination, conditional elimination and negation elimination. These are all covered in the PHIL 60 modules indicated on our schedule page, and the rules are all summarized in the course tools section on the bottom of the PHIL 60 schedule page.

This is the homework for Monday. Turn in only problem number 10. We'll review as many as we can and move on to deduction in predicate logic on Wednesday.

## No comments:

## Post a Comment