Modus Tollens

Modus tollens is like the negative form of modus ponens. It says that if P implies Q is true and not Q is true as well, then ~P must follow as a result.

For example, suppose

“If I am Miley Cyrus, I am crazy.”

and

“I am not crazy.”

Then there is no way in hell I am Miley Cyrus.

Back to Logic 101