QUESTION

# Using the transformation rules of system P , prove the following argument to be valid: (A B) C Premise 2. (D C) (~E V ~F) Premise 3.

Using the transformation rules of system P, prove the following argument to be valid:

1. (A ⊃ B) ⊃ C        Premise

2. (D ⊃ C) ⊃ (~E V ~F)  Premise

3. ~(~B V ~E)         Premise

--------------------------------------------

/ :. ~F

2.Using the transformation rules of system