Métodos básicos de prueba II

En la última sección vimos que el método de la prueba directa para P ⇒ Q. procede como
una cadena de enunciados desde el antecedente hasta el consecuente. Esta es la forma más
básica de la prueba y es la base para varias otras técnicas de prueba. Las técnicas de esta
sección se basan en tautologías que reemplazan a la declaración que debe ser probada por
una o más declaraciones equivalentes. Llamamos a estas pruebas indirectas. Una prueba por
contraposición o prueba contra positiva para una oración condicional P ⇒ Q hace uso de la
tautología (P ⇒ Q) ⇐ ⇒ (∼Q ⇒ ∼P). Y P⇒Q son declaraciones equivalentes, primero
damos una prueba de ∼Q ⇒ ∼P y luego concluimos por sustitución que P ⇒ Q.

Prueba por contraposición de P ⇒ Q.

Suponga ~Q.
Por lo tanto, ~P
Así, ~Q⇒ ~ P
Por lo tanto, P⇒Q.

Este método puede funcionar bien cuando la conexión entre negaciones de P y Q es más fácil
de entender que la conexión entre P y Q, o cuando la afirmación de P y Q es en sí misma una
negación. En los siguientes ejemplos de prueba por contraposición usamos las propiedades
familiares de las desigualdades y la propiedad de que cada entero sea par o impar, pero no
ambos. Como en la última sección, suponemos que las variables representan cantidades fijas.
Ejemplo: sea m un entero, probar que si m2 es par, entonces m es par.
Prueba: (el antecedente es P, “m2 es par” y el consecuente es Q, “m es par”) Supongamos
que el entero m no es par. (Suponiendo ∼Q).Entonces m es impar de la forma m = 2k + 1
para algunos enteros k.
Entonces: m2 = (2k + 1)2 = 4k2 + 4k + 1 = 2(2k2 + 2k) + 1.
Dado que m2 es dos veces un número entero, más 1, es impar. (Puesto que k es un entero),
entonces m2 no es par. (Así concluimos ∼P).
Así, si m no es par, entonces m2, no es par. Por contra positivo, si m2 es par, entonces m es
par.
Ejemplo: Sea x e y números reales tales que x < 2y. Probar que si 7xy ≤ 3x2 + 2y2 entonces
3x ≤ y.
Prueba: suponiendo que x e y son números reales y x < 2y. (Sea P 7xy ≤ 3x2 + 2y2 y Q 3x ≤
y.). Suponiendo que 3x > y. (Asumimos ∼Q). Entonces 2y − x > 0 y 3x − y > 0. Por lo tanto
(2y − x) (3x − y) = 7xy − 3x2 − 2y2 > 0. Por consiguiente 7xy > 3x2 + 2y2.
Hemos demostrado que si 3x > y, entonces 7xy > 3x2 + 2y2. Por lo tanto, por contra positivo,
si 7xy ≤ 3x2 + 2y2, entonces 3x ≤ y.
Otra técnica de prueba indirecta es la prueba de la contradicción. La lógica detrás de esta
prueba es que si una declaración no puede ser falsa, entonces debe ser verdad. Así, para
demostrar por contradicción que una afirmación P es verdadera, asumimos temporalmente
que P es falso y luego vemos lo que sucedería. Si lo que sucede es una imposibilidad, es
decir, una contradicción, entonces sabemos que P debe ser verdad. He aquí un ejemplo de
una prueba de contradicción.
Ejemplo: pruebe que la gráfica de y = x2 + x + 2 e y = x – 2 no se intersectan.
Prueba: supongamos que las gráficas de y = x2 + x + 2 e y = x – 2 se intersecta en el punto
(a, b). (Suponiendo ~P). Si (a, b) es un punto en ambas gráficas, b = a2 + a + 2 y b = a − 2.
Por lo tanto a − 2 = a2 + a + 2, así a2 = −4... Así a2 < 0. Pero a es un número real, así a2 ≥ 0.
Esto es imposible. (La declaración a2 < 0 ∧ a2 ≥ 0 es una contradicción). Por lo tanto, las
gráficas no se intersectan.
Una prueba por contradicción se basa en la tautología P⇐⇒ [(∼P) ⇒ (Q ∧ ∼Q)]. Es decir,
para probar una proposición P, probamos (∼P) ⇒ (Q ∧ ∼Q) para alguna proposición Q. En
el ejemplo anterior, Q es la afirmación Una demostración por contradicción tiene la siguiente
forma:
Prueba de P por contradicción.
Prueba.
Suponga ~ P
⋮
Por lo tanto, Q
⋮
Por lo tanto, ~ Q.
Por lo tanto, Q ∧ ~ Q una contradicción.
Así, P.

Dos aspectos sobre las pruebas por contradicción son especialmente dignos de mención.
Primero, este método de prueba puede aplicarse a cualquier proposición P, mientras que las
pruebas directas y las pruebas por contraposición pueden usarse sólo para oraciones
condicionales. En segundo lugar, la proposición Q no aparece en el lado izquierdo de la
tautología. La estrategia de probar P probando ∼P ⇒ (Q ∧ ∼Q), Entonces, tiene una ventaja
y una desventaja. No sabemos qué proposición usar para Q, pero cualquier proposición que
haga el trabajo es buena. Esto significa que una prueba por contradicción puede requerir una
chispa de discernimiento para determinar una Q. útil.
La siguiente prueba por contradicción es un resultado clásico cuya prueba puede remontarse
a Hippasus, un discípulo de Pitágoras, alrededor del año 500 aC. Una de varias leyendas dice
que Hippasus demostró que √2 No es un número racional mientras viajaba en barco con sus
colegas pitagóricos. Los pitagóricos, creyentes firmes de que todos los números son
racionales *, supuestamente lo arrojaron al mar para ahogarse.
La prueba se basa en la definición de un número racional: r es racional, si y solo si r = a/b
Para algunos enteros a y b, con b ≠ 0. Podemos suponer que a y b no tienen factores comunes,
porque de lo contrario simplemente reduciríamos a/b Mediante la cancelación de cualquier
factor común.

Ejemplo: √2, es un número irracional.

Prueba: asumiendo que √2, es un número racional. (Asumiendo ~P). Entonces √2 = 𝑎/𝑏,
para algunos enteros 𝑎 𝑦 𝑏, con b ≠ 0 y 𝑎 𝑦 𝑏 No tienen factores comunes. (La declaración Q
es “a y b no tienen factores comunes”) Donde √2 = 𝑎/𝑏, tenemos 2 = 𝑎2 /𝑏 2 , Lo que
implica que 2b2 =. Por lo tanto a2 es par y así a es par. (Recuerde el ejemplo que probamos
en la página 40). Se sigue que existe un entero k tal que a = 2k y por lo tanto:

2b2 = a2
= (2k)2
= 4k2
Así, b2 = 2k2, que muestra que b2 es par. Por lo tanto, b es par. Dado que tanto a como b son
pares, a y b tienen un factor común de 2. (Hemos deducido la afirmación ~Q) Esto es una
contradicción. Concluimos que √2 es irracional.
Recordemos que un número natural mayor que 1 es primo si solo si sus únicos divisores
positivos son 1 y sí mismo. La prueba siguiente por contradicción, atribuida a Euclides,
muestra que hay infinitamente muchos primos. Con esto queremos decir que es imposible
enumerar todos los números primos del primero al kth (último) uno, donde k es un número
natural. Utiliza el Resultado fundamental que cada número natural mayor que 1 tiene un
divisor primo.
Ejemplo: el conjunto de los números primos es infinito.