Rules of Inference IV

Instructions: Print out and for each of the following derivations, complete the justification by providing the rule of inference and line numbers.

 

 

A.

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