Rules of Inference II

Instructions: Print out this page. For each of the following derivations, complete the justification by providing the rule of inference and line numbers.  Answers are here.

Name:

E-mail:

A.

1. (A v B) ⊃ (C & D) premise
2. (A & C) premise
3. (C ⊃ D) premise
4. A    
5. (A v B)    
6. (C & D)    
7. C    
8. D    

B.

1. (A ⊃ B) & ~C) premise
2. (~D v C) premise
3. (B ⊃ E) & ~E premise
4. ~C    
5. ~D    
6. (A ⊃ B)    
7. (B ⊃ E)    
8. (A ⊃ E)    

C.

1. (E ⊃ F) & (R ⊃ ~C) premise
2. E premise
3. ~F & (C v (~C ⊃ L)) premise
4. F premise  
5. E v R  
6. E ⊃ F
7. R ⊃ ~C  
8. F v  ~C    
9. ~F    
10. ~C    
11. (C v (~C ⊃ L))    
12. ~C ⊃ L