There's one part of an explanation of proof by contradiction that I don't understand at the moment.
Here's the explanation:
"Let's say we desire to prove the truth of a statement,M.
A proof by contradiction will proceed by initially assuming that M is false i.e assuming M'(where M' is the negation of the statement M).
We would try to deduce from this a statement N that is clearly false.
Now having deduced a statement N from M', we have shown that M'=> N.
Hence also N'=>M
Now as we know N is false, N' is true and thus M is also true. Therefore we've proven M."
My question refers to the bold and underlined part of the explanation:
Why is it that N'=>M ?
We know that $P\implies Q$ is equivalent to $$P' \lor Q $$ or $$(Q')' \lor P'$$
which is equivalent to $$Q' \implies P'$$