SOLUTION: Prove: Premise: Mv(N->M) Conclusion: ~M->~N

Question 1049441: Prove:
Premise: Mv(N->M)
Conclusion: ~M->~N
Answer by robertb(5830) (Show Source): You can put this solution on YOUR website!
Mv(N->M)------------------hypothesis
M v (~N v M) -------------material implication
M v (M V ~N)--------------commutativity
(M v M) V ~N-------------Associativity
M v ~N -------------------idempotency of v
~~M v ~N -----------------double negation
~M -> ~N -----------------material implication
RELATED QUESTIONS
1.M<->N 2.~Mv~N 3.O>M... (answered by jim_thompson5910)

Prove that for n<0 (answered by robertb)
m-n/n-m (answered by jim_thompson5910,mananth)
(m-n)-(m+n) (answered by Alan3354)
Please help me solve this proof: Premise 1: (E � I) v (M �U) Premise 2: ~E... (answered by jim_thompson5910)
m/(m-n)(m+n)/n+1/(m+n)^2 (answered by mangopeeler07)
(a^m+n)^m-n (answered by Fombitz)
Prove the identify : cosM cosN - sin M sin N / sin M cos N + sin N cos M = cot M cot N -... (answered by Alan3354)
(-5)(m)(m)(m)(n) (answered by edjones)