Name ________________________   Logic Homework 10  Date ______________

Circle the valid arguments, and cross out the invalid ones.

1. Nw
    Ox É Nw
    Ox	
2. Vq É Wr
    Vq
    Wr	
    3.Lu É Mv
    ~Mv
    Lu	
4. Js É Kt
    Js
    ~Kt	
5. ~Py
    Qz É Py
    ~Qz	
6. Hq É Ir
    ~Hq
    ~Ir	

7. ~To
    To É Up
    Up	
8. Rm É Sn
    Sn
    ~Rm	
9. St É Mp
    ~St
    ~Mp	
10. Np É Ph
      Ph
      Np	
11. Gp ^ Fo
      Fo v Vx
      Gp É Vx	
12. Cl v Rm
      Rm v Bk
      Cl É  Bk	

13. Ym v Zn
      Ym É Zn	
14. Rf
      Sg É Rf	
15. Ve É Wf
      Ve v Wf	
16. Th
      Th É Ui	
17. Ra ^ Sb
      Ra É Sb	
18. Tc v Ud
      Tc É Ud	

Prove four of the valid arguments valid by DERIVATION. 

1. Show  					    1. Show  					

2. 						    2. 						

3. 						    3. 						

4. 						    4. 						

5. 						    5. 						

6. 						    6. 						

7. 						    7. 						

8. 						    8. 						

1. Show  					    1. Show  					

2. 						    2. 						

3. 						    3. 						

4. 						    4. 						

5. 						    5. 						

6. 						    6. 						

7. 						    7. 						

8. 						    8.