Ya que suponemos que esoP→Q es falso, y la única manera de que una declaración condicional sea falsa es que su hipótesis sea verdadera y su conclusión sea falsa, asumimos que esoP es verda...Ya que suponemos que esoP→Q es falso, y la única manera de que una declaración condicional sea falsa es que su hipótesis sea verdadera y su conclusión sea falsa, asumimos que esoP es verdadero y esoQ es falso (o, equivalentemente, eso⌝ es cierto). Dado que 2 es el único número primo par, utilizaremos los siguientes casos: (1)a = b = 2; (2)a y ambosb son impares; y (3) uno dea yb es impar y el otro es 2.
