SOLUTION: I can only use the 8 implicational rules to solve this problem. 1. ~Fv~G 2. ~F > Z 3. ~G > ~R 4. (Zv~R) > (U

Click here to see ALL problems on Proofs

Question 593929: I can only use the 8 implicational rules to solve this problem.
1. ~Fv~G
2. ~F > Z
3. ~G > ~R
4. (Zv~R) > (U > P)
5. ~P :. ~U
Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website!

1. ~F v ~G 2. ~F > Z 3. ~G > ~R 4. (Z v ~R) > (U > P) 5. ~P :. ~U ----------------------------------------------------------------------- 6. (~F > Z) . (~G > ~R) 2,3 Conjunction 7. Z v ~R 6,1 Constructive Dilemma 8. U > P 4,7 Modus Ponens 9. ~U 8,5 Modus Tollens

SOLUTION: I can only use the 8 implicational rules to solve this problem. 1. ~Fv~G 2. ~F > Z 3. ~G > ~R 4. (Zv~R) > (U > P) 5. ~P