1.

5 ◆ Demostraciones 39

Ejemplo 1.5.11

▼
Si a y b son números reales, se define mín{a, b} como el mínimo de a y b o el valor común
si son iguales. De modo más preciso,
⎧ a si a < b
⎨
mín{a, b} = a si a = b
⎩
b si b < a.
Se presentará una prueba directa de la siguiente afirmación. Para cualesquiera números rea-
les d, d1, d2, x,

si d = mín{d1, d2} y x ≤ d, entonces x ≤ d1, y x ≤ d2.

Demostración Se supone que d, d1, d2 y x son números reales arbitrarios y que

d = mín{d1, d2} y x ≤ d

es verdadera. Entonces se prueba que

x ≤ d1 y x ≤ d2

es verdadera.
De la definición de mín, se tiene que d ≤ d1 y d ≤ d2. De x ≤ d y d ≤ d1, se puede
derivar x ≤ d1 de un teorema anterior (el segundo teorema del ejemplo 1.5.5). De x ≤ d y
d ≤ d2, se puede derivar x ≤ d2 a partir del mismo teorema anterior. Por lo tanto, x ≤ d1 y
x ≤ d2 .

▼
Una segunda técnica de demostración es la prueba por contradicción. Una prueba
por contradicción establece (1.5.1) suponiendo que la hipótesis p es cierta y que la conclu-
sión q es falsa y entonces, usando p y ¬q junto con otros axiomas, definiciones y teoremas
derivados antes, llega a una contradicción. Una contradicción es una proposición de la for-
ma r ∧ ¬r (r puede ser cualquier proposición). Una prueba por contradicción en ocasiones
se llama prueba indirecta ya que para establecer (1.5.1) usando la prueba por contradic-
ción, se sigue una ruta indirecta: se deriva r ∧ ¬r y después se concluye que (1.5.1) es ver-
dadera.
La única diferencia entre las suposiciones en una prueba directa y una prueba por con-
tradicción es la conclusión negada. En una prueba directa no se supone la conclusión nega-
da, mientras que en una prueba por contradicción la conclusión negada es una suposición.
La prueba por contradicción se justifica observando que las proposiciones
p→q y (p ∧¬q) → ( r ∧ ¬r)
son equivalentes. La equivalencia es inmediata a partir de la tabla de verdad:

p q r p→q p ∧ ¬q r ∧ ¬r ( p ∧ ¬q) → (r ∧ ¬r )
T V
V T V
T T
V F F T
V
T V
V T F T
V F F T
V
V
T F V
T F V
T F F
V
T F F F V
T F F
T V
F V T V
T F F V
T
F V
T F T
V F F V
T
F F V
T V
T F F V
T
F F F V
T F F V
T

Ejemplo 1.5.12
▼

Se dará una prueba por contradicción de la siguiente afirmación:

Para todos los números reales x y y, si x + y ≥ 2, entonces x ≥ 1 o y ≥ 1.
Demostración Primero, sean x y y números reales arbitrarios. Se supondrá que la conclu-
sión es falsa, es decir, que ¬(x ≥ 1 ∨ y ≥ 1) es verdadera. Por las leyes de De Morgan de
lógica (vea el ejemplo 1.2.11),
¬(x ≥ 1 ∨ y ≥ 1) ≡ ¬(x ≥ 1)∧¬(y ≥ 1) ≡ (x < 1) ∧ (y < 1).
40 Capítulo 1 ◆ Lógica y demostraciones

En palabras, se está suponiendo que x < 1 y que y < 1. Usando un teorema anterior, se pue-
den sumar estas desigualdades para obtener

x + y < 1 + 1 = 2.

En este punto, se ha obtenido la contradicción p ∧ ¬p, donde

p: x + y ≥ 2.

▼
Por lo tanto, concluimos que la afirmación es verdadera.

Suponga que se da una prueba por contradicción de (1.5.1) en donde, igual que en el
ejemplo 1.5.12, se deduce ¬p. De hecho, se probó

¬q → ¬p.

Este caso especial por contradicción se llama prueba por contrapositiva.

Ejemplo 1.5.13
▼

Use la prueba por contrapositiva para demostrar que

para todo entero m, si m2 es impar, entonces m es impar.
Demostración Primero, sea m un entero arbitrario. La contrapositiva de
si m2 es impar, entonces m es impar
es
si m es par, entonces m2 es no es impar
o, de manera equivalente,
si m es par, entonces m2 es par.
Así, suponga que m es par. Entonces m = 2k para algún entero k. Ahora, m2 = (2k)2
= 2 · (2k2). Como m2 es de la forma 2 × un entero (a saber 2k2), m2 es par. La prueba que-

▼
da completa.

La prueba por casos se emplea cuando la hipótesis original se divide de manera na-
tural en varios casos. Por ejemplo, la hipótesis “x es un número real” se puede dividir en
casos: a) x es un número real no negativo y b) x es un número real negativo. Suponga que
la tarea es probar p → q y que p es equivalente a p1 ∨ p2 ∨ . . . ∨ pn (p1, . . . , pn son los
casos). En lugar de probar
(p1 ∨ p2 ∨ . . . ∨ pn) → q, (1.5.2)
se prueba
(p1→q) ∧ (p2→q) ∧ . . . ∧ (pn→q). (1.5.3)
Como se verá, la prueba por casos se justifica porque las dos afirmaciones son equivalentes.
Primero suponga que alguna pi es verdadera. En especial, se supone que pj es cierta.
Entonces
p1 ∨ p2 ∨ . . . ∨ pn
es verdadera. Si q es verdadera, entonces (1.5.2) es verdadera. Ahora, pi → q es verdadera
para toda i; de manera que (1.5.3) también es verdadera. Si q es falsa, entonces (1.5.2) es
falsa. Como pj → q es falsa, (1.5.3) también es falsa.
Ahora suponga que ninguna pi es verdadera; esto es, todas las pi son falsas. Enton-
ces ambas, (1.5.2) y (1.5.3), son ciertas. Por lo tanto, (1.5.2) y (1.5.3) son equivalentes.

Ejemplo 1.5.14 Se probará que para todo número real x, x ≤ |x|.

▼

Demostración Observe que “x es un número real” es equivalente a (x ≥ 0) ∨ (x < 0). Una

afirmación “o” con frecuencia lleva por sí misma a una prueba por casos. El caso 1 es x ≥ 0