Question 1156947: 1. (G⊃J) ⊃ (H⊃Q)
2. J • ~Q /~H
Answer by RBryant(14)   (Show Source):
You can put this solution on YOUR website!
1. (G⊃J) ⊃ (H⊃Q)
2. J • ~Q / ~H
--------------------------------------------------
3. we derive J by using line(s) 2 AND using the rule of Simplification.
4. we derive J v ~G by using line(s) 3 AND using the rule of Addition.
5. we derive ~G v J by using line(s) 4 AND using the rule of Commutation.
6. we derive G ⊃ J by using line(s) 5 AND using the rule of Implication.
7. we derive H ⊃ Q by using line(s) 1, 6 AND using the rule of Modus ponens.
8. we derive ~Q • J by using line(s) 2 AND using the rule of Commutation.
9. we derive ~Q by using line(s) 8 AND using the rule of Simplification.
10. we derive ~H as promised (which is the conclusion) by using lines 7,9 AND using the rule of Modus tollens.
We have demonstrated that which was asked of us to prove (QED). Smile :)
|
|
|
