Вы находитесь на странице: 1из 1

METODOS DE DEMOSTRACIÓN

Definiciones básicas: 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
Definición 1. UN TEOREMA es una sentencia que se puede verificar estado en la escena del crimen. Si X no estaba en la escena del
que es verdadera. crimen, no pudo haber cometido el crimen.
Obtenga la conclusión usando las reglas de inferencia.
(P1∧ P2. . .∧ Pn )→Q es un teorema donde los P1 , P2 . . . Pn son los
postulados o premisas y Q la conclusióndel teorema. 2. METODOS PARA DEMOSTRAR TEOREMAS.
Ejemplo: Sea el siguiente teorema si a y b son enteros positivos, a ≥ 2.1 Demostración Directa. Se basa en la implicación p → q se puede
0 0 demostrar que si p es verdadero q también lo es.
b, entonces a ≥ b p: es la hipótesis (lo que se supone como verdadero)
Premisas: q: es la Tesis (lo que se va a demostrar).
P1: a y b son enteros positivos. Definición 1. El entero n es par si existe un entero k tal que n = 2k
P2: a ≥ b y es impar si existe un entero k tal que n = 2k + 1.
Conclusión:
0 0 Ejemplo 1. Demostrar que si n es un entero impar, entonces 𝒏𝟐 es
Q es a ≥ b , por lo tanto el teorema sería (P1 ∧ P2 ) → Q un entero impar.
p: n es impar. (Hipótesis)
Definición 2. UN LEMA es un teorema sencillo utilizado en la
demostración de otros teoremas. q: 𝒏𝟐 es impar. (Tesis)
Se demuestra p → q, se parte de que p verdadero y se termina
Ejemplo: Si a 𝒂 𝑦 𝒃 ∈ 𝑹, 𝒂 ≠ 𝒃 y a divide al producto bc, entonces a demostrando que q es verdadero.
divide a c.
Definición 3. UN COROLARIO es una proposición que se puede Definición 2. El número real r es racional si existen dos enteros p y
𝒑
establecer directamente a partir de un teorema que ya ha sido q, 𝐪 ≠ 𝟎, tales que 𝒓 = . Un número real que no es racional es
𝒒
demostrado. irracional.
Ejemplo: La suma de las medidas de los ángulos agudos asociados a un Ejemplo 2. Demuestre que la suma de dos números racionales es
triángulo rectángulo es igual a 90º. un irracional.
1. REGLAS DE INFERENCIA: Estas reglas justifican los pasos dados
2.2 Demostración indirecta. Como la implicación p → q es
para demostrar que a partir de una serie de hipótesis se llega de
equivalente a su contrarecíproca ~𝒒 → ~𝒑, la implicación se
forma lógica a una conclusión.
puede demostrar viendo que su contrarecíproca es verdadera.
Reglas de Inferencia más importantes:
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
Ejercicios: Demostrar los siguientes argumentos: verdadera. Entonces √𝟐 es racional.
Mostraremos que esto conduce a una contradicción.
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 2.5 Demostración por casos. Se demuestra la implicación:
tendría que cancelarse y Alicia se enojaría. Si la fiesta se cancelara, (𝑝1 ˅𝑝2 ˅ … 𝑝𝑛 ) → 𝑞 y resolvemos:
habría que devolver el dinero. No se devolvió el dinero. Por lo tanto, la
(𝑝1 ˅𝑝2 ˅ … 𝑝𝑛 ) → 𝑞 ≡ ~(𝑝1 ˅𝑝2 ˅ … 𝑝𝑛 ) ˅ 𝑞
banda pudo tocar rock. Derive la consecuencia lógica usando las
reglas de inferencia. Ejemplo 1. Demuestre por casos que |𝑥𝑦| = |𝑥||𝑦|, donde x e y
son reales.