Demostracin por contraposicin:

La demostracin por contraposicin podra ser llamada demostracin

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 ms fcil de realizar la demostracin de esta
segunda proposicin.
La demostracin de un teorema se dice que es por la contrareciproca cuando
suponiendo que la conclusin, es falsa y utilizando la hiptesis P y otros teoremas
y equivalencias lgicas establecidas previamente, se concluye que P es falso.

Ejemplos:
Ejemplo 1: Sea n un nmero entero. Demostrar que si n 3 es par, entonces n es
par
Solucin:
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. Cmo son este tipo de n?
x=2k+1 (k nmero entero)
Trabajamos con su cubo: x3= (2k+1)3
Adelante: (2k+1)3=8k3+12k2+6k+1=2(4k3+6k2+3k)+1
Claramente un nmero impar
Ejemplo 2: Demostrar, para cada entero n, que si 5n + 3 es par, entonces n es
impar.
Solucin:
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. El esquema de la contrarrecproca sera:

n[q ( n ) p ( 5 n+3 ) ]

Es decir, Para cada entero n, si n no es impar, entonces 5n + 3 no es par

Pues bien, sea n cualquier nmero entero.

Si n no es impar, entonces n 2k + 1 ,

Para cualquier entero k y, por lo tanto

5 n+3 5 ( 2 k +1 ) +3, k Z

De aqu que: 5 n+3 2 ( 5 k + 4 ) , k Z

Y como si k es entero, 5 k + 4 tambin lo es (lo llamaremos m), tendremos que

5 n+3 2m , m Z

Consecuentemente, 5 n+3 no es par.

Ejemplo 3: Tratamos de demostrar que, de acuerdo con las reglas del ajedrez,
cada pen se mueve a lo sumo 6 veces.
Solucin:
Consideramos un pen cualquiera. Supongamos que se mueve 7 veces o ms.
Tratamos de llegar a deducir que no hemos cumplido las reglas del ajedrez.
Tras el primer movimiento el pen se encuentra al menos en la fila tercera. Tras el
segundo movimiento se encuentra al menos en la cuarta... Tras el sptimo
movimiento se encuentra al menos en la novena,... (Lo cual indica que esta fuera
del tablero)
ANEXO 1
SITUACIONES PROBLMICAS DE LA INFERENCIA LGICA FASE
INDIVIDUAL

Ejercicio 2: Soy un gran aficionado al ftbol 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
se sienten muchas emociones, hay minutos de intensa alegra otros minutos de
ansiedad, otros de tristeza, en fin el ftbol es una pasin que genera toda una
gama de sensaciones. Hoy es el da 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. Si
mi equipo pierde me pongo triste. En este momento mi equipo est ganando o
est perdiendo. Por consiguiente, estoy contento o triste. Comprobar la validez del
razonamiento que he hecho frente a las emociones que viv en el partido de la
final, hacerlo a travs de las dos maneras con la tabla de verdad y con el uso de
las leyes de inferencia.
Solucin:
Usos de la reglas de la inferencia
Sean: p: Mi equipo gana.
q: Mi equipo perdi.
r: estoy contento.
s: estoy triste.
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 conclusin: 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
 Conclusin: estoy contento o triste
Declaraciones de premisas en lenguaje formal
Premisa1: p q
Premisa2: (~p r)
Premisa3: p ~p
Conclusin: q r
Razonamiento en lenguaje formal (Lnea crtica)
Si en al menos una sola lnea las
p q r ~p p q ~p r p ~p qr premisas y conclusin dan
verdadero es vlido por lo tanto
v v v f v v v v es una Tautologa.
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