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 ___________ __________

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.

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) (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

RELATED QUESTIONS
4) I can only use the 8 rules of inference. 1. ~(S v R) 2. B → (S v R) 3. B v P (answered by jim_thompson5910)

7)I can only use the 8 Rules of Inference. Need help!!! 1. (T → C) → ~F 2.... (answered by jim_thompson5910)

write a direct proof using the eight rules of inference (C → Q) � (~L →... (answered by Edwin McCravy)

P v Q, P → (T → S), P → T, S ↔ Q ├ S 1. P v Q A (answered by jim_thompson5910)

3) I can only use the 8 rules of inference... 1. (M v N) → ~S 2. T → (M v (answered by jim_thompson5910)

5) I can only use the 8 rules of inference. 1. C → (T → L) 2. ~L 3. ~E... (answered by jim_thompson5910)

1. (Q∨R)→(W∨U) 2. W→P 3. Q∙T 4. U→Z 5. S→M (answered by jim_thompson5910)

1. (Q∨R)→(W∨U) 2. W→P 3. (answered by jim_thompson5910)

6) I can only use the 8 rules of inference... 1. (~B � ~C) → (D → C) 2. ~B (answered by jim_thompson5910)

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

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.