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

Algebra ->  Proofs -> SOLUTION: Prove: Premise: Mv(N->M) Conclusion: ~M->~N      Log On


   

Question 1049441: Prove:
Premise: Mv(N->M)
Conclusion: ~M->~N
Answer by robertb(5830) About Me  (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