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.
|
|
|
