SOLUTION: Premises: 1.) S->~(N v R) 2.) R v N v O 3.) ~O Conclusion: /~S

Algebra ->  Proofs -> SOLUTION: Premises: 1.) S->~(N v R) 2.) R v N v O 3.) ~O Conclusion: /~S      Log On


   

Question 969535: Premises:
1.) S->~(N v R)
2.) R v N v O
3.) ~O
Conclusion:
/~S
Answer by Edwin McCravy(20056) About Me  (Show Source):
You can put this solution on YOUR website!
Premises:
1.) S->~(N v R)
2.) (R v N) v O
3.) ~O
Conclusion:
/~S
4.) R v N             disjunctive syllogism,2,3
5.) N v R             commutativity, 4
6.) ~~(N v R)->~S     contrapositive, 1
7.) (N v R)->~S       double negation, 6
8.) ~S                modus ponens, 7,5  

Edwin