SOLUTION: Phil 10 4. [10] use only inference and replacement rules (no CP or IP): 1. (~P v ~R) v ~S / ∴ P ⊃ ~(S • R)

Question 1195751: Phil 10
4. [10] use only inference and replacement rules (no CP or IP):
1. (~P v ~R) v ~S / ∴ P ⊃ ~(S • R)
Found 2 solutions by Edwin McCravy, RBryant:
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

1. (~P v ~R) v ~S 2. ~P v (~R v ~S) 1, association 3. ~P v (~S v ~R) 2, commutation 4. P ⊃ (~S v ~R) 3, material implication 5. P ⊃ ~(S • R) 4, demorgan's law Edwin

Answer by RBryant(14) (Show Source): You can put this solution on YOUR website!

1. (~P v ~R) v ~S / ∴ P ⊃ ~(S • R) ----------------------------------------------------------------- 2. (~S v ~R) v ~P 1, Assoc. 3. ~ (S • R) v ~P 2, DeM 4. ~ ~ (S • R) ⊃ ~P 3, Impl 5. (S • R) ⊃ ~P 4, D.N. 6. ~ ~P ⊃ (S • R) 5, Trans 7. P ⊃ ~(S • R) 6, D.N.

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)
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)
1) I can only use the 8 rules of inference... 1. P v Q 2.(Q � ~R) → S 3. R... (answered by jim_thompson5910)
solve plz? with rules of inference and replacement... 1. (~D + A) v (~D + R) 2. D v... (answered by math_tutor2020)
Using Inference Rules Premise 1. (P * Q) > R Premise 2. (P * Q) V S Premise 3. ~ R (answered by Edwin McCravy)
Proof using rules of implication and replacement. 1. T v S 2. ~T 3. (S v S)... (answered by Edwin McCravy)
I can only use the rules of inference/replacement 1) R v ~T 2) ~T -> O 3) ~O... (answered by jim_thompson5910)
Solve the problem using rules of inference and replacement: Premise 1) Q v (R . S)... (answered by solver91311)
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)