Modus Tollens allows one to infer the negation of the antecedent if one has derived a conditional and the negation of its consequent.
Preview shown for the Point And Click derivation type in the The Logic Book system
