SOLUTION: Don't know which step to begin with please help EvV [(EvO)vV]>~(VvM) /E

Question 981175: Don't know which step to begin with please help
EvV
[(EvO)vV]>~(VvM)
/E
Answer by Edwin McCravy(20065) (Show Source): You can put this solution on YOUR website!
Don't know which step to begin with please help

1.  EvV
2.  [(EvO)vV]>~(VvM)
                  /E

3.  [Ev(OvV)]>~(VvM)                2, Association
4.  [Ev(VvO)]>~(VvM)                3, Commutation    
5.  [(EvV)vO]>~(VvM)                4, Association
6.  ~[(EvV)vO]v~(VvM)               5, Material Implication
7.  {~(EvV)&~O]v~(VvM)              6, DeMorgan
8.  [~(EvV)v~(VvM)]&[~Ov~(VvM)]     7, Distribution
9.  [(EvV)>~(VvM)]&[~Ov~(VvM)]      8, Material Implication
10. (EvV)>~(VvM)                    9, Simplification
11. ~(VvM)                       10,1, Modus ponens
12  ~V&~M                          11, DeMorgan
13. ~V                             12, Simplification
14. VvE                             1, Commutation
15, E                              14, 15, Disjunctive syllogism

       
Edwin

RELATED QUESTIONS
Please help I am very lost EvV [(EvO)vV]>~(V>M)... (answered by Edwin McCravy)

Solve x in terms of y. Question: y = (e^x + e^-x)/(e^x - e^-x) Answer: x= 1/2 ln (answered by Edwin McCravy)

Please help with step by step. Where do I... (answered by Mathtut)

Some One please help to solve this There are 12 points in a plane of which 5 are... (answered by sudhanshu_kmr)

Hi, please help me out with this question. It is very confusing and I don't know how to... (answered by ikleyn,Theo)

I know this question has appeared before on here and it's kind of been semi-answered but... (answered by Theo)

I don't really know the topic. Which expression is equivalent to sin(2x) − sinx? (answered by MathLover1)

Graph f(x) = 4x+1 I don't know where to begin with this question. Please... (answered by MathLover1)

Please help me solve: Solve A=P+PRT for T. I don't even know where to begin.... (answered by MathTherapy)