SOLUTION: 1) I can only use the 8 rules of inference... 1. P v Q 2.(Q • ~R) → S 3. R → P 4. ~P / S ___________ ___________ 5. 6. 7. 8. 9.

Algebra ->  Proofs -> SOLUTION: 1) I can only use the 8 rules of inference... 1. P v Q 2.(Q • ~R) → S 3. R → P 4. ~P / S ___________ ___________ 5. 6. 7. 8. 9.       Log On


   

Question 189545: 1) I can only use the 8 rules of inference...
1. P v Q
2.(Q • ~R) → S
3. R → P
4. ~P / S
________________________
5.
6.
7.
8.
9.

Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
Note: I'm going to use the & symbol for the •
So (Q • ~R) -> S = (Q & ~R) -> S 

1. P v Q
2.(Q & ~R) -> S
3. R -> P
4. ~P   / S
---------------
5.  ~R                3,4   Modus Tollens
6.  Q                 1,4   Disjunctive Syllogism
7.  Q & ~R            5,6   Conjunction
8.  S                 2,7   Modus Ponens