Cómo Hacer Una Demostración

¿Cómo hacer una demostración?
Nestor Acevedo
July 2023
1 ¿Qué es una demostración?

La matemática se construye a partir de axiomas, que son declaraciones que se
eligen como verdaderas, y a partir de las cuales se pueden formular el resto de
resultados.
Dependiendo del contexto, todos estos resultados, que no son axiomas, tienen
nombres distintos: proposiciones, lemas, teoremas o corolarios. Lo que
tienen en común es que, antes de que podamos considerarlos como ciertos, debe-
mos demostrar su validez utilizando los axiomas iniciales, o ayudándonos de
proposiciones, lemas, teoremas o corolarios que ya hayan sido demostrados.
Una demostración es el proceso en el cual demostramos la validez de un
enunciado, mediante el uso de la inferencia lógica, y de los axiomas y resultados
que ya han sido demostrados.
No existe un solo proceso de demostración para todos los enunci-
ados. Dependiendo del enunciado, y las herramientas que tengamos a nuestra
disposición, el proceso que tomemos podrı́a cambiar. A continuación, presento
los tipos de demostraciones más comunes.
2 ¿Cómo debe verse una demostración?

Hasta que se acostumbren a hacer demostraciones, utilizarán el siguiente es-
quema al momento de hacer demostraciones:
Teorema: Para todas las clases A y B,
A⊆A∪B
1. Por definición de contenencia de clases, lo que queremos demostrar es que
(∀x)(x ∈ A ⇒ x ∈ A ∪ B)
2. Como la proposición que debemos demostrar empieza con el cuantificador

∀x, consideraremos que x es un elemento arbitrario.
3. Ahora, lo que en verdad debemos demostrar es que
x∈A⇒x∈A∪B
1
4. Como debemos demostrar una implicación ⇒, vamos a suponer que la
proposición
x∈A
es verdadera.
5. Lo que ahora demostrar es que
x∈A∪B
6. Gracias a la lı́nea (4.) sabemos que

x ∈ A ó x∈B
7. Gracias a la lı́nea (6.), y por definición de unión de clases, sabemos que

x∈A∪B
como querı́amos demostrar
En este formato de demostraciones, la primera lı́nea está reservada para
escribir explı́citamente, y mediante el uso de cuantificadores y sı́mbolos lógicos,
lo que queremos demostrar.
En cada lı́nea que sigue, escribiremos una proposición, pero también debemos
escribir la razón por la cuál la escribimos.
Nota: Es de suma importancia entender cada uno de los sı́mbolos que apare-
cen en el enunciado, para poder determinar qué es lo que debemos demostrar.
3 ¿Qué es lo que debemos demostrar?

Para hacer una demostración exitosa, es primordial saber exactamente qué debe-
mos demostrar. Por ejemplo, en el caso anterior, el enunciado nos pedı́a de-
mostrar que
A⊆A∪B
Y era indispensable saber que esto significaba lo mismo que
(∀x)(x ∈ A ⇒ x ∈ A ∪ B).
A continuación, tenemos algunos formatos de proposiciones, y qué es lo que
debemos hacer para demostrarlos:
3.1 El cuantificador “para todo” ∀

El cuantificador ∀, nos indica que todos los elementos deben verificar la
proposición que viene a continuación. Es decir, la proposición
(∀x)(P (x))
se lee “para todo x, la proposición P (x) es verdadera”.
2
El método más común para demostrar este tipo de enunciados es de-
mostrar que la proposición P (x) es verdadera para cierto x, el cual está
tomado de forma arbitraria. Por lo tanto, la demostración tendrı́a el sigu-
iente esquema:
1. Debemos demostrar que
(∀x)(P (x)).
2. Consideremos que x es cierto elemento arbitrario.

3. Debemos demostrar que para este x arbitrario, la proposición
P (x)
es verdadera.
4. . . .
El resto de la demostración depende de lo que sea la proposición P (x).
3.2 Las implicaciones ⇒

Las implicaciones vienen representadas por el siguiente sı́mbolo ⇒, y tienen
la siguiente forma
P ⇒Q
Una implicación nos indica que en el caso en que la proposición P sea
verdadera, entonces la proposición Q también será verdadera. Esta se lee
de la siguiente forma:
“Si P es una proposición verdadera, entonces Q también es una proposición
verdadera”, o simplemente “ Si P , entonces Q”.
Por lo tanto, para demostrar implicaciones, lo que debemos hacer es
suponer que la proposición P es verdadera y, a partir de esta hipótesis,
llegar a demostrar que la proposición Q también es verdadera.
Por lo tanto, el esquema de demostración es el siguiente:
1. Debemos demostrar que

P ⇒Q
2. Como hipótesis, supondremos que
es verdadera.
3
3. Debemos demostrar
Q
4. . . .
Demostrar una implicación es equivalente a demostrar el contra recı́proco:
P ⇒ Q es lo mismo que ¬Q ⇒ ¬P
3.3 Las equivalencias ⇔

El sı́mbolo ⇔ indica que dos proposiciones son equivalentes, en el sentido
de que ambas toman el mismo valor de verdad a la vez.
P ⇔Q
Se lee P es equivalente a Q, y quiere decir que si P es verdadera, entonces
Q también es verdadera; y que si Q es verdadera, entonces P también lo
es. Por lo tanto, demostrar P ⇔ Q equivale a demostrar
P ⇒Q y Q⇒P
Cuando debemos demostrar una equivalencia, tendremos que hacer dos
demostraciones de implicaciones.
3.4 Demostraciones por absurdo.

Las demostraciones por absurdo se basan en el siguiente criterio:
Si queremos demostrar que la proposición P es verdadera, supondremos,
momentáneamente que la proposición P es falsa, o, lo que es lo mismo,
que la proposición ¬P es verdadera. Si P en verdad es verdadera, entonces
tarde o temprano, llegaremos a una contradicción
Para hacer una demostración por absurdo, utilizaremos el siguiente
esquema
1. Debemos demostrar
P
2. Por reducción al absurdo, supondremos que
¬P
y deberemos hallar una contradicción
4
3. ...
Para el resto de la demostración, debemos hallar una proposición que siem-
pre sea falsa.
Entre las contradicciones más comunes están
x ∈ ∅, x ̸= x
4 Clases y productos cartesianos

Cuando queremos demostrar un enunciado que involucre clases, es importante
saber la definición de los sı́mbolos que aparecen en el enunciado.
Sean A, B, C clases arbitrarias, U la clase universo, ∅ la clase vacı́a, y x e
y elementos. La siguiente es una lista básica de proposiciones entre clases, y a
qué son equivalentes:
• x ∈ A ∪ B es equivalente a
x ∈ A ó x∈B
• x ∈ A ∩ B es equivalente a
x∈A y x∈B
• x ∈ A′ es equivalente a
(¬x ∈ A)
o lo que es lo mismo,
x∈
/A
• x ∈ A \ B es equivalente a
x∈A y x ∈ B′
• A ⊆ B es equivalente a
(∀z)(z ∈ A ⇒ z ∈ B)
• A = B es equivalente a
A⊆B y B⊆A
• A ̸= ∅ es equivalente a
(∃z)(z ∈ A)
5
• B = U es equivalente a
U ⊆ B,
o lo que es lo mismo
(∀x)(x ∈ B)
• La proposición x ∈ U siempre es verdadera

• La proposición x ∈ ∅ siempre es falsa
En cuanto al producto cartesiano, tenemos que
• (x, y) ∈ A × B equivale a
x ∈ A yy ∈ B
Nota: Para demostrar un enunciado que involucre clases, no siempre

es necesario utilizar las definiciones listadas arriba. Es posible utilizar
también teoremas que hayan sido demostrados previamente.
5 Ejercicios
5.1 Álgebra de Clases
[Teorema 1.26] Si A es una clase, demostrar que
• A∩∅=∅
• U′ = ∅
• ∅′ = U
• A ∪ A′ = U
• A ∩ A′ = ∅
[Ejercicios 1.3] Diferencia simétrica: Se define a la operación + entre dos
clases como
A + B = (A \ B) ∪ (B \ A),
a la cual se le conoce como diferencia simétrica.
Demostrar que para cualesquiera clases A, B y C
6
• A ∩ (B + C) = (A ∩ B) + (A ∩ C)
• A+A=∅
• A+∅=A
5.2 Producto Cartesiano

[Teorema 1.32] Demostrar que para cualesquiera clases A, B y C
• A × (B ∩ C) = (A × B) ∩ (A × C)
• A × (B ∪ C) = (A × B) ∪ (A × C)
• (A × B) ∩ (C × D) = (A ∩ C) × (B ∩ D)

Cómo Hacer Una Demostración

Cargado por

Copyright:

Formatos disponibles

Cómo Hacer Una Demostración

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cómo Hacer Una Demostración

Cargado por

Copyright:

Formatos disponibles

¿Cómo hacer una demostración?

1 ¿Qué es una demostración?

2 ¿Cómo debe verse una demostración?

2. Como la proposición que debemos demostrar empieza con el cuantificador

6. Gracias a la lı́nea (4.) sabemos que

7. Gracias a la lı́nea (6.), y por definición de unión de clases, sabemos que

3 ¿Qué es lo que debemos demostrar?

3.1 El cuantificador “para todo” ∀

1. Debemos demostrar que

2. Consideremos que x es cierto elemento arbitrario.

El resto de la demostración depende de lo que sea la proposición P (x).

3.2 Las implicaciones ⇒

1. Debemos demostrar que

2. Como hipótesis, supondremos que

Demostrar una implicación es equivalente a demostrar el contra recı́proco:

3.3 Las equivalencias ⇔

3.4 Demostraciones por absurdo.

2. Por reducción al absurdo, supondremos que

y deberemos hallar una contradicción

Entre las contradicciones más comunes están

4 Clases y productos cartesianos

• La proposición x ∈ U siempre es verdadera

Nota: Para demostrar un enunciado que involucre clases, no siempre

Demostrar que para cualesquiera clases A, B y C

5.2 Producto Cartesiano

También podría gustarte