SOLUTION: 1. ~E 2. ~V implies E / ~(~V v E)

Algebra ->  Conjunction -> SOLUTION: 1. ~E 2. ~V implies E / ~(~V v E)      Log On


   

Question 693519: 1. ~E
2. ~V implies E
/ ~(~V v E)
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1. ~E
2. ~V -> E         / ~(~V v E)
----------------------------------
3. ~~V                    2,1     Modus Tollens
4. ~~V * ~E               3,1     Conjunction
5. ~(~V v E)              4       De Morgan's Law