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

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


   

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) About Me  (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