SOLUTION: This stuff is crazy O & I O -> (S v G) I -> ~G We have to show S

Question 251009: This stuff is crazy
O & I
O -> (S v G)
I -> ~G
We have to show S
Found 2 solutions by drk, jim_thompson5910:
Answer by drk(1908) (Show Source): You can put this solution on YOUR website!
start with
O -> (S v G)
I -> ~G
(O n I) -> (S v G) n ~G -> S
If I remember correctly.
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1. O & I 2. O -> (S v G) 3. I -> ~G / :. S ---------------------- 4. I & O 1 Commutation 5. O 1 Simplification 6. I 4 Simplification 7. ~G 3,6 Modus Ponens 8. S v G 2,5 Modus Ponens 9. S 8,7 Disjunctive Syllogism

RELATED QUESTIONS
Given U = {l, m, n, o, p, q, r, s, t, u, v, w}, A = {l, o, p, q, s, t}, B = {n, o, r, s, (answered by jim_thompson5910)
I have trouble plugging in the numbers correctly..it makes me crazy and I get frustrated... (answered by jsmallt9)
Very lost, can somebody please help me finish this proof? 1. (N > K) & (S > L) 2.(N > (answered by jim_thompson5910)
I can't seem to get to solve this proof. 1. W->S 2. U->F 3. (S and F) -> O 4. ~O... (answered by jim_thompson5910)
Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)
If an object is projected vertically upward from an altitude of s(o) feet with an intial... (answered by nerdybill)
Suppose that the functions r and s are defined as follows: r(x)=-x-2 s(x)=-2x^2+2 (r... (answered by solver91311)
Its several months before Christmas - New Year’s holiday season. Wholesalers for... (answered by ikleyn)
Can I please have your assistance? If f(x) = 1 and g(x) = x2, what is f o g? What is g o... (answered by jim_thompson5910)