SOLUTION: I can't seem to get to solve this proof. 1. W->S 2. U->F 3. (S and F) -> O 4. ~O THEREFORE (~W v ~U)

Question 173249: I can't seem to get to solve this proof.
1. W->S
2. U->F
3. (S and F) -> O
4. ~O THEREFORE (~W v ~U)
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
1. W->S
2. U->F
3. (S and F) -> O
4. ~O THEREFORE (~W v ~U)
------------------------------

5. ~(S and F) .......................... Modus Tollens (using lines 3, 4)

6. ~S v ~F .......................... DeMorgan's Theorem (using line 5)

7. S -> ~F .......................... Material Implication (using line 6)

8. W -> ~F .......................... Hypothetical Syllogism (using lines 1,7)

9. ~F -> ~U .......................... Transposition (using line 2)

10. W -> ~U .......................... Hypothetical Syllogism (using lines 8,10)

11. ~W v ~U .......................... Material Implication (using line 10)
RELATED QUESTIONS
I need help finishing this proof. 1. ~ (A v B) 2. E > B 3. E v (G > U) 4. H v (answered by jim_thompson5910)

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

How do I solve these proofs? Number one 1.~B v[(C>D)&(E>D)] 2. B&(C v E)... (answered by jim_thompson5910)

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)

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)

please solve: 1. (K v S) v (T v W) 2. ~S + [T v ~(O v Z)] 3. K > ~(T v ~Z) /∴ T... (answered by Edwin McCravy)

Question 1 please help me with this question. If the universal set U=... (answered by MathLover1)

Its several months before Christmas - New Year’s holiday season. Wholesalers for... (answered by ikleyn)

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