Philosophy 60                                                                  :    
Homework 3

Instructions:  Complete the following problems as directed.  Type your name.  Type your answers. Staple or paper clip multiple pages.  If you turn this in by e-mail, type the date and time you sent it on the hardcopy.   10 pts. total.

Prove 1-3 using basic rules only.

1.  (p & (q → ¬r)); (s ↔ p);  (s → r)  ¬q
2.   Prove from no assumptions:  (p →  ((s v r) → ( p v (s & r))))     
3.  (p & q); (r v ¬q)  (¬r → ¬s)

Prove 4-5 using basic or derived rules.

4.  (¬(p v q)  ¬(s  v ¬m)), m   (¬s  (¬p & ¬q))
5.  (p & (q → ¬r)); (s ↔ ¬p); (¬s → r)   ¬q