0 / 60 seg.

The inference rule "modus tollens", also known as the law of contrapositive, validates the inference from formula_1 implies formula_2 and the contradictory of formula_2, to the contradictory of formula_1.