SOLUTION: 1. (O ⊃ R) ⊃ S 2. (P ⊃ R) ⊃ ~S / ~R

Algebra.Com
Question 1179977: 1. (O ⊃ R) ⊃ S
2. (P ⊃ R) ⊃ ~S / ~R

Answer by RBryant(14)   (Show Source): You can put this solution on YOUR website!
1. (O ⊃ R) ⊃ S
2. (P ⊃ R) ⊃ ~S   /  ~R
----------------------------------------------------------
3. ~S ⊃ ~ (O ⊃ R)                       1,   Trans
4. (P ⊃ R) ⊃ ~ (O ⊃ R)                 2,3   H.S.
5. ~ (P ⊃ R) v ~ (O ⊃ R)                4    Impl
6. ~ (~P v R) v ~ (~O v R)               5    Impl
7. (~ ~P • ~R) v (~ ~O • ~R)             6    DeM
8. (P • ~R) v (O • ~R)                   7    D.N.
9. [(P • ~R) v O] • [(P • ~R) v ~R]      8    Dist
10. [(P • ~R) v ~R] • [(P • ~R) v O]     9    Comm
11. (P • ~R) v ~R                       10    Simp
12. ~R v (P • ~R)                       11    Comm
13. (~R v P) • (~R v ~R)                12    Dist
14. (~R v ~R) • (~R v P)                13    Comm
15. (~R v ~R)                           14    Simp
16. ~R                                  15    Taut
                                                   QED 
 


RELATED QUESTIONS

(O->R) -> S (P->R) ~S Therefore,... (answered by Solver92311)
Premises: 1.) S->~(N v R) 2.) R v N v O 3.) ~O Conclusion:... (answered by Edwin McCravy)
I need help completing this proof for my deductive logic class? 1. (O . P)--> Q 2. (answered by jim_thompson5910)
Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by Edwin McCravy)
1. R v ~T 2. ~T>O 3. ~O :.... (answered by jim_thompson5910)
I need help finishing this proof. Pv~R,~R->S,~P|- S&~R 1 (1) Pv~R A 2 (2)... (answered by jim_thompson5910)
~R>P... (answered by Edwin McCravy)
1. P V Q 2. Q -> (R & S) 3. (R V P) -> T /... (answered by Edwin McCravy)
(PvQ)&R (R&P)>S (Q&R)>S Therefore,... (answered by solver91311,Edwin McCravy,robertb)