SOLUTION: I need help finishing this proof. 1. ~ (A v B) 2. E > B 3. E v (G > U) 4. H v (W & X) 5. (H v X) > (U > O) / G > O

Algebra.Com
Question 205446: I need help finishing this proof.
1. ~ (A v B)
2. E > B
3. E v (G > U)
4. H v (W & X)
5. (H v X) > (U > O) / G > O
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1.  ~ (A v B)
2.  E -> B
3.  E v (G -> U)
4.  H v (W & X)
5.  (H v X) -> (U -> O)    / G -> O
-------------------------------------
6.  (H v W) & (H v X)                4      Distribution
7.  (H v X) & (H v W)                6      Commutation
8.  H v X                            7      Simplification
9.  U -> O                         5,8      Modus Ponens
10. ~A & ~B                          1      De Morgan's Law
11. ~B & ~A                         10      Commutation
12. ~B                              11      Simplification
13. ~E                            2,12      Modus Tollens
14. G -> U                        3,13      Disjunctive Syllogism
15. G -> O                        14,9      Hypothetical Syllogism

RELATED QUESTIONS

I need help finishing this proof. 1. (A v B) v C 2. ~B & ~ E 3. (A v C) > (E &... (answered by jim_thompson5910)
1. H > (M > E) 2. ~[(M > H) > E] 3. (I + O) > [M + (X = P)] 4. [(K v B) > ~M] > (~I (answered by CPhill)
Prove this with steps please 1 [(A v ~B) v T]->(X->M) 2 (A v R)->(Z->O) 3 A&(X v Z) (answered by Edwin McCravy)
I need help finishing this proof. A v (~B v ~C), A -> (D -> E), ~(~B v ~D) :. C -> (D -> (answered by jim_thompson5910)
Need help solving this proof: 1. ~O • K 2. ~O >(~R v A) 3. (~R > ~W) • (A > G) 4.... (answered by jim_thompson5910)
Help! 1. ~M•(Z > R) 2. (~M v G) > ~ U 3. (~M v ~X) > ~B 4. (~B • ~U ) > (E > M)... (answered by Edwin McCravy)
Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)
Please Help me solve this question : if A= {l,o,v,e,y} and B {w,o,l,v,e,s}, what is A (answered by jim_thompson5910)
I need help finishing this proof. (A . B) -> (E -> A), (A . B) v C, C -> D :. (E -> A) (answered by jim_thompson5910)