Un ejemplo de "modus ponendo tollens" es: