METODOS DE DEMOSTRACIÓN
Definiciones básicas:
Definición 1. UN TEOREMA es una sentencia que se puede verificar
que es verdadera.
(P1∧ P2. . .∧ Pn )→Q es un teorema donde los P1 , P2 . . . Pn son los
postulados o premisas y Q la conclusióndel teorema.
Ejemplo: Sea el siguiente teorema si a y b son enteros positivos, a ≥
0 0
b, entonces a ≥ b
Premisas:
P1: a y b son enteros positivos.
P2: a ≥ b
Conclusión:
0 0
Q es a ≥ b , por lo tanto el teorema sería (P1 ∧ P2 ) → Q
Definición 2. UN LEMA es un teorema sencillo utilizado en la
demostración de otros teoremas.
Ejemplo: Si a 𝒂 𝑦 𝒃 ∈ 𝑹, 𝒂 ≠ 𝒃 y a divide al producto bc, entonces a
divide a c.
Definición 3. UN COROLARIO es una proposición que se puede
establecer directamente a partir de un teorema que ya ha sido
demostrado.
Ejemplo: La suma de las medidas de los ángulos agudos asociados a un
triángulo rectángulo es igual a 90º.
1. REGLAS DE INFERENCIA: Estas reglas justifican los pasos dados
para demostrar que a partir de una serie de hipótesis se llega de
forma lógica a una conclusión.
Reglas de Inferencia más importantes:
Ejercicios: Demostrar los siguientes argumentos:
1. Dado el siguiente argumento válido: Si la banda no pudiera tocar rock
o las bebidas no llegasen a tiempo, entonces la fiesta de Año Nuevo
tendría que cancelarse y Alicia se enojaría. Si la fiesta se cancelara,
habría que devolver el dinero. No se devolvió el dinero. Por lo tanto, la
banda pudo tocar rock. Derive la consecuencia lógica usando las
reglas de inferencia.
2. Fue X o Y quién cometió el crimen. X estaba fuera del pueblo cuando
el crimen fue cometido. Si X estaba fuera del pueblo, no pudo haber
estado en la escena del crimen. Si X no estaba en la escena del
crimen, no pudo haber cometido el crimen.
Obtenga la conclusión usando las reglas de inferencia.
2. METODOS PARA DEMOSTRAR TEOREMAS.
2.1 Demostración Directa. Se basa en la implicación p → q se puede
demostrar que si p es verdadero q también lo es.
p: es la hipótesis (lo que se supone como verdadero)
q: es la Tesis (lo que se va a demostrar).
Definición 1. El entero n es par si existe un entero k tal que n = 2k
y es impar si existe un entero k tal que n = 2k + 1.
Ejemplo 1. Demostrar que si n es un entero impar, entonces 𝒏𝟐 es
un entero impar.
p: n es impar. (Hipótesis)
q: 𝒏𝟐 es impar. (Tesis)
Se demuestra p → q, se parte de que p verdadero y se termina
demostrando que q es verdadero.
Definición 2. El número real r es racional si existen dos enteros p y
𝒑
q, 𝐪 ≠ 𝟎, tales que 𝒓 = . Un número real que no es racional es
𝒒
irracional.
Ejemplo 2. Demuestre que la suma de dos números racionales es
un irracional.
2.2 Demostración indirecta. Como la implicación p → q es
equivalente a su contrarecíproca ~𝒒 → ~𝒑, la implicación se
puede demostrar viendo que su contrarecíproca es verdadera.
Ejemplo 1. Demostrar que si 𝟑𝒏 + 𝟐, es impar, entonces n es
impar.
p: 𝟑𝒏 + 𝟐 es impar
q: n es impar.
Suponemos la ~𝒒 es decir que n es par, entonces 𝒏 = 𝟐𝒌 para
algún entero k y demostramos ~𝒑 es decir que 𝟑𝒏 + 𝟐 es par.
Ejemplo 2. Demuestre que la suma de dos impares es par.
p: 𝒓 𝑦 𝒔 son impares
q: 𝒓 + 𝒔 es par.
Suponemos que 𝒓 + 𝒔 es impar y se debe demostrar que 𝒓 𝑦 𝒔
son pares no de manera simultánea.
2.3 Contraejemplo. Se busca un ejemplo para refutar el cuál la
implicación o doble implicación sea falsa.
Ejemplo 1. Demuestre o refute la proposición que expresa que si x
e y son números reales, (𝑥 2 = 𝑦 2 ) ↔ (𝑥 = 𝑦).
2.4 Demostración por contradicción o reducción al absurdo. Dado p,
supongamos que se puede encontrar una contradicción q tal que
~𝒑 → 𝒒 sea verdadera, esto es, ~𝒑 → 𝑭 es verdadera. Entonces
la proposición ~𝒑 tiene que ser FALSA. por tanto p DEBE SER
VERDADERA.
Ejemplo 1. Demuestre que √𝟐 es irracional.
Sea p: la proposición √𝟐 es irracional y supongamos que ~𝒑 es
verdadera. Entonces √𝟐 es racional.
Mostraremos que esto conduce a una contradicción.
2.5 Demostración por casos. Se demuestra la implicación:
(𝑝1 ˅𝑝2 ˅ … 𝑝𝑛 ) → 𝑞 y resolvemos:
(𝑝1 ˅𝑝2 ˅ … 𝑝𝑛 ) → 𝑞 ≡ ~(𝑝1 ˅𝑝2 ˅ … 𝑝𝑛 ) ˅ 𝑞
Ejemplo 1. Demuestre por casos que |𝑥𝑦| = |𝑥||𝑦|, donde x e y
son reales.