Modus tollens is a valid argument form in propositional calculus in which and are propositions. If implies , and is false, then is false. Also known as an indirect proof or a proof by contrapositive.
For example, if being the king implies having a crown, not having a crown implies not being the king.