Por Modus tollens,