Un ejemplo de "modus tollendo tollens" es: