Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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 ) ]
Si n no es impar, entonces n 2k + 1 ,
5 n+3 5 ( 2 k +1 ) +3, k Z
5 n+3 2m , m Z
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
Simulador thuth