SOLUTION: Can you help me prove O ⊃ S only using the first 18 rules? O ⊃ (Q • N) (N v E) ⊃ S.../ O ⊃ S

Question 1171460: Can you help me prove O ⊃ S only using the first 18 rules?
O ⊃ (Q • N)
(N v E) ⊃ S.../ O ⊃ S
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!


1.  O ⊃ (Q • N)
2.  (N v E) ⊃ S   .../ O ⊃ S

3.  O ⊃ (N • Q)       1, Commutation
4.  O ⊃ N             3, Simplification  
5.  O ⊃ (N v E)       4, Addition
6.  O ⊃ S           5,2, Hypothetical syllogism

Edwin

RELATED QUESTIONS
1. O ⊃ (Q • N) 2. (N ∨ E)⊃ S / O ⊃ S (answered by Edwin McCravy)

I don't think it is in the book but here is one I can not solve, please help. Given... (answered by user_dude2008)

Premises: 1.) S->~(N v R) 2.) R v N v O 3.) ~O Conclusion:... (answered by Edwin McCravy)

Could you help me solve this px 6. (3 pts) Given U = {l, m, n, o, p, q, r, s, t, u,... (answered by vleith,asaad)

Solve the following using replacement rules: �S → O, O → S ∴... (answered by jim_thompson5910)

Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by RBryant,Edwin McCravy,math_tutor2020)

Can you help me prove for F only using the first 18 rules? I v (N • F) I ⊃... (answered by CPhill)

This is what I have for this problem but I cannot figure out (A′ U C′)... (answered by stanbon,jim_thompson5910)

I need help with the following Given U = {l, m, n, o, p, q, r, s, t, u, v, w}, A =... (answered by bcpm36)