You are on page 1of 4

Demostración por contraposición

:
La demostración por contraposición podría ser llamada demostración
“supongamos que no” y procede de la siguiente manera.
Si queremos demostrar que: Si se verifica A, entonces se verifica B:
A B
Esto equivale a demostrar que:
Si no B, entonces no A
En ocasiones puede resultar más fácil de realizar la demostración de esta
segunda proposición.
La demostración de un teorema se dice que es por la contrareciproca cuando
suponiendo que la conclusión, es falsa y utilizando la hipótesis P y otros teoremas
y equivalencias lógicas establecidas previamente, se concluye que P es falso.

Ejemplos:
Ejemplo 1: Sea n un número entero. Demostrar que si n 3 es par, entonces n es
par
Solución:
A: n3 es par B: n es par
Supondremos que n es impar y veamos que entonces n 3 no puede ser par:
Punto de partida: x es impar. ¿Cómo son este tipo de nº?
x=2k+1 (k número entero)
Trabajamos con su cubo: x3= (2k+1)3
Adelante: (2k+1)3=8k3+12k2+6k+1=2(4k3+6k2+3k)+1
Claramente un número impar
Ejemplo 2: Demostrar, para cada entero n, que si 5n + 3 es par, entonces n es
impar.
Solución:
Si:
p(n): n es par
q(n): n es impar

El esquema del teorema propuesto será: ∀ n[ p ( 5 n+3 ) → q ( n ) ] En el universo de los numeros enteros. entonces 5n + 3 no es par” Pues bien. 5 n+3 no es par. Supongamos que se mueve 7 veces o más. de acuerdo con las reglas del ajedrez. cada peón se mueve a lo sumo 6 veces. “Para cada entero n. entonces n ≠ 2k + 1 ... por lo tanto 5 n+3 ≠5 ( 2 k +1 ) +3. (Lo cual indica que esta fuera del tablero) ANEXO 1 SITUACIONES PROBLÉMICAS DE LA INFERENCIA LÓGICA FASE INDIVIDUAL Ejercicio 2: Soy un gran aficionado al fútbol y mi equipo ha pasado a disputar la final del torneo y algo que he aprendido es que en 90 minutos del juego se viven y . Solución: Consideramos un peón cualquiera. tendremos que 5 n+3 ≠ 2m . ∀ k ϵZ Y como si k es entero. si n no es impar. ∀ k ϵ Z De aquí que: 5 n+3 ≠ 2 ( 5 k + 4 ) .. Tras el primer movimiento el peón se encuentra al menos en la fila tercera. Para cualquier entero k y. 5 k + 4 también lo es (lo llamaremos m). Tras el séptimo movimiento se encuentra al menos en la novena. Si n no es impar. Tratamos de llegar a deducir que no hemos cumplido las reglas del ajedrez. Tras el segundo movimiento se encuentra al menos en la cuarta. sea n cualquier número entero.. Ejemplo 3: Tratamos de demostrar que. ∀ m ϵ Z Consecuentemente.. El esquema de la contrarrecıproca serıa: ∀ n[¬q ( n ) → ¬ p ( 5 n+3 ) ] Es decir.

en fin el fútbol es una pasión que genera toda una gama de sensaciones. q: Mi equipo perdió. Si mi equipo pierde me pongo triste. Solución: Usos de la reglas de la inferencia Sean: p: Mi equipo gana. En este momento mi equipo está ganando o está perdiendo. estoy contento o triste. Uso de las tablas de verdad Declaraciones de Premisas • Premisa1: Si mi equipo gana yo me pongo contento • Premisa2: Si mi equipo pierde me pongo triste • Premisa3: En este momento mi equipo está ganando o está perdiendo . hay minutos de intensa alegría otros minutos de ansiedad. Comprobar la validez del razonamiento que he hecho frente a las emociones que viví en el partido de la final.se sienten muchas emociones. Por consiguiente. r: estoy contento. s: estoy triste. otros de tristeza. El argumento seria: [( p → r ) ∧ ( q → s )]∧( p ∨q) Por el dilema constructivo: [ ( p → r ) ∧ ( q → s ) ] ∧ ( p ∨ q ) →(r ∨s ) Siendo la regla de la inferencia: p−→ r q−→ s p∨ q -------- r ∨s Es decir: Mi equipo gana me pongo contento Mi equipo pierde me pongo triste Mi equipo está ganando o perdiendo _______________________________ Estoy contento o triste En conclusión: “Estoy contento o triste”. Hoy es el día del partido de la final y voy a narrar lo que viví en el transcurrir de los 90 minutos: “Si mi equipo gana yo me pongo contento. hacerlo a través de las dos maneras con la tabla de verdad y con el uso de las leyes de inferencia.

v v f f v v v v v f v f f v v v v f f f f v v f f v v v v v v v f v f v v f v v f f v v v v v v f f f v v f v f Simulador thuth .• Conclusión: estoy contento o triste Declaraciones de premisas en lenguaje formal Premisa1: p → q Premisa2: (~p → r) Premisa3: p ˅ ~p Conclusión: q ˅ r Razonamiento en lenguaje formal (Línea crítica) Si en al menos una sola línea las p q r ~p p → q ~p → r p ˅ ~p q˅r premisas y conclusión dan verdadero es válido por lo tanto v v v f v v v v es una Tautología.