0 / 60 seg.

In instances of "modus tollens" we assume as premises that p → q is true and q is false.