SOLUTION: 1. O ⊃ (Q • N) 2. (N ∨ E)⊃ S / O ⊃ S

Question 1179976: 1. O ⊃ (Q • N)

2. (N ∨ 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 ∨ E)⊃ S	/ O ⊃ S

                 | 3. O         assumption for conditional proof
                 | 4. Q • N     1,3, modus ponens
                 | 5. N • Q     4, commutation
                 | 6. N         5, simplification
                 | 7. N v E     6, addition
                 | 8. S         2,8 modus ponens
9. O ⊃ S          lines 3-8        conditional proof 

Edwin

RELATED QUESTIONS
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 O ⊃ S only using the first 18 rules? O ⊃ (Q • N) (N v... (answered by Edwin McCravy)

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

1. (N v M) > (P & O) 2. ~M > (~Q > Q) 3. ~O... (answered by jim_thompson5910)

The length of a rectangular storage room is 8 f e e t l o n g e r t h a n i t s... (answered by MathLover1)

P l e a s e h e l p m e s o l v e t h i s f i n d t h e c a p a c i t y i n l i... (answered by rothauserc)

I. Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by CPhill)

N,O,P,Q,R,S,T,U and edge set {{N,P},{N,U},{O,Q},{O,S},{O,T},{P,R},{P,U},{S,T},{S,U}} . (answered by jim_thompson5910,ikleyn)

a b c d e f g h i j k l m n o p q r (answered by ewatrrr)