PRIMERA ETAPA: Demostracin por el Principio de Induccin Matemtica

La induccin matemtica es un mtodo de demostracin que se utiliza cuando se

trata de establecer la veracidad de una lista infinita de proposiciones.

Sea P una propiedad definida en los nmeros naturales (enteros positivos) . Si

1 satisface esa propiedad y adems si a partir de cualquier natural n que
satisface esa propiedad se llega a que n + 1, tambin la satisface, entonces
cada nmero natural la satisface.

Para probar que una propiedad P se cumple en los nmeros naturales, usando
el principio de induccin matemtica, se siguen los siguientes pasos:

1 Se comprueba para n = 1 (Comprobacin).

2 Se asume que se cumple para n = k (Hiptesis de induccin) .
3Se predice que se cumple para n = k + 1 ( Tesis ) .
4Se demuestra que si se cumple para n = k, entonces se cumple para n =
k + 1 ( Demostracin )

Observacin: En algunos casos la propiedad se cumple a partir de un cierto

natural m > 1. Dada esa situacin, en el primer paso se comprueba para n
= m

Ejemplos

Demuestre por induccin matemtica que:

1. 2 + 6 + 10 + . . .. . + ( 4 n 2 ) = 2n2
a ) Sea n = 1 , entonces:
4n 2 = 2
2 n 2 = 2 (Verdadero).

b ) Sea n = k , entonces:
2 + 6 + 10 + . . .. + ( 4 k 2 ) = 2 k 2 ( Hiptesis de induccin ) .
c) Sea n = k + 1 , entonces:
2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2 ) = 2 ( k
+ 1)2 ( Tesis ) .

d ) Demostracin:
2 + 6 + 10 + ...... + ( 4 k 2 ) = 2 k 2 ( Por hiptesis de
induccin ) .
2 + 6 + 10 + . . . . . + (4 k 2 ) + ( 4 ( k + 1 ) 2 ) = 2k2 +
(4(k + 1) 2)
2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2 ) = 2 k 2
+ 4k + 2
Por lo tanto 2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2 )
= 2(k + 1)2

2. Si n es un entero positivo, entonces a 2 n b 2 n es divisible por a + b .

a ) Sea n = 1 , entonces:
a 2 n b 2 n = a 2 b 2 = ( a + b )( a b ) ( Verdadero ) .
b ) Sea n = k , entonces:
a 2 k b 2 k es divisible por a + b ( Hiptesis de induccin ) .
c ) Sea n = k + 1 , entonces:
a 2 ( k + 1 ) b 2 ( k + 1 ) es divisible por a + b ( Tesis ) .
d ) Demostracin:
a 2 k b 2 k es divisible por a + b ( Por hiptesis de induccin ) .
a 2 ( a 2 k b 2 k ) es divisible por a + b .
b 2 k ( a 2 b 2 ) es divisible por a + b .
a 2 ( a 2 k b 2 k ) + b 2 k ( a 2 b 2 ) es divisible por a + b .
a 2 k + 2 a 2 b 2 k + b 2 k a 2 b 2 k + 2 es divisible por a + b .
Por lo tanto a 2 ( k + 1 ) b 2 ( k + 1 ) es divisible por a + b .

3. Si n es un entero positivo, entonces n ( n + 1 ) es divisible por 2 .

a ) Sea n = 1 , entonces:
n ( n + 1 ) = 2 ( Verdadero ) .

b ) Sea n = k , entonces:
k ( k + 1 ) es divisible por 2 ( Hiptesis de induccin ) .

c) Sea n = k + 1 , entonces:
(k + 1 ) ( k + 2 ) es divisible por 2 ( Tesis ) .

d ) Demostracin:
(k + 1) ( k + 2 ) = k ( k + 1 ) + 2 ( k + 1 )
k (k + 1) es divisible por 2 ( Por hiptesis de induccin ) .
2 (k + 1) es divisible por 2 ( Entero par ) .
Por lo tanto ( k + 1 ) ( k + 2 ) es divisible por 2

SEGUNDA ETAPA: Dilema Constructivo y Absorcin.

Dilema Constructivo
De esta forma, la disciplina de la Lgica considera al Dilema Constructivo como
una versin disyuntiva del modelo lgico ponens, consistente una inferencia, que
se rige por la siguiente proposicin: si P implica Q; y a su vez R implica S, se
infiere que o Q es falsa o S lo es, por lo tanto, P o R deben ser falsas. Para verlo
mucho ms claro, es preciso hacer su representacin escrita:

Premisa 1: (P Q) ^ (R S) (Si P implica Q, y a su vez R implica S)

Premisa 2: (Q S) (Se puede inferir entonces que Q o S son falsas)
Conclusin: (P Q) (Lo que llevara a concluir que a su vez P o Q tambin son
falsas)
En este sentido, el Dilema Constructivo sera bsicamente una inferencia que se
hace a partir de dos frmulas condicionales, donde se niegan cada uno de sus
consecuentes, obteniendo como resultado la disyuncin de stas.

Ejemplos de Dilema Constructivo

Resulta entonces pertinente ejemplificar con palabras al menos tres casos de
inferencias hechas en base al Dilema Constructivo, a fin de poder precisar mucho
mejor los postulados establecidos a travs de la notacin anterior. A continuacin
algunos ejemplos:

Ejemplo 1:
Premisa 1: Si me gano la lotera comprar una casa. Por su parte, si mi pap gana
un milln de dlares comprar un yate.
Premisa 2: Visto as o ganar la lotera o mi pap ganar un milln de dlares
Conclusin: como conclusin o comprar una casa o mi pap comprar un yate.

Ejemplo 2:
Premisa 1: Si voy a una obra de Teatro dar rosas a la actriz. Si mi esposo va al
ballet aplaudir a la bailarina prima
Premisa 2: O voy al Teatro, o mi esposo va al ballet
Conclusin: como conclusin entonces o una actriz recibir rosas o una bailarina
ser aplaudida fuertemente

Ejemplo 3:
Premisa 1: Si Juan viaja a Alaska morir de fro. Si se va al Sahara perecer de
calor.
Premisa 2: Juan viajar a Alaska o al Sahara
Conclusin: por lo tanto morir de fro o perecer de calor.

Absorcin es una forma lgica de argumento vlido y una regla de inferencia de

la lgica proposicional. La regla establece que si P implica Q, entonces P
implica P Y Q. La regla hace posible introducir conjunciones en pruebas. Esto se
llama ley de absorcin ya que el trmino P es "absorbido" por el trmino Q en
la consecuencia.
La absorcin puede escribirse formalmente como:
P Q
P (P Q)
o sea: siempre que aparezca una instancia de "P Q" en una lnea de alguna
prueba, "P (PQ)" se puede concluir en la lnea siguiente.

Ejemplos:
1. Si va a llover, entonces llevar mi abrigo. Por lo tanto, si va a llover entonces va
a llover y llevar mi abrigo.
 2. Si estudio aprendo. Estudio, luego aprendo y estudio
p q
\p (q p)

3. Si est soleado es de da. Est soleado luego, es de da y esta soleado.

TERCERA ETAPA: Anexo 1 ejemplo 5

Un grupo de estudiantes de Licenciatura en Pedagoga Infantil de la UNAD han
iniciado un trabajo de campo con algunos nios de un Jardn Infantil, para generar
estrategias en cuanto al proceso del aprendizaje de lectura, siendo muy
importante la edad cronolgica en los nios para el fortalecimiento de dicho
proceso de aprendizaje. Ruth es la docente que lidera el trabajo de campo de los
estudiantes y les comenta lo siguiente: si Teresa tiene cuatro aos de edad,
entonces Teresa posee los mismos aos de vida que Juliana. Si Jacinto tiene una
edad diferente que Teresa, entonces Jacinto posee una edad diferente que
Juliana. Teresa tiene cuatro aos y Jacinto tiene la misma edad que Juliana. Por
consiguiente, Jacinto posee la misma edad que Teresa y Teresa la misma edad
que Juliana. Por favor determinar si el razonamiento hecho por Ruth es vlido,
segn el proceso de demostracin por medio de tablas de verdad y del uso de las
leyes de inferencia

Demostracin por tablas de verdad

Proposiciones

P: Teresa tiene 4 aos

Q: Teresa tiene la misma edad que Juliana
R: Jacinto posee edad igual que Teresa
S: Jacinto posee edad igual que Juliana

Expresin normal del razonamiento

[(P Q) (-R -S) (P S)] (R Q)

p q r s -r -s P -R - PS(III) I II I II III R Q I II III

Q(I) S(II) RQ
V V V V F F V V V V V V V
V V V F F V V V F V F V V
V V F V V F V F V F F F V
V V F F V V V V F V F F V
V F V V F F F V V F F F V
V F V F F V F V F F F F V
V F F V V F F F V F F F V
V F F F V V F V F F F F V
F V V V F F V V F V F V V
F V V F F V V V F V F V V
F V F V V F V F F F F F V
F V F F V V V V F V F F V
F F V V F F V V F V F F V
F F V F F V V V F V F F V
F F F V V F V F F F F F V
F F F F V V V V F V F F V

Al realizar la table de verdad dio como resultado una tautologa, por lo que se
concluye que el razonamiento de Ruth es vlido por tanto Juliana, Teresa Y
Jacinto tiene la misma de edad, 4 aos.

Demostracin por leyes de inferencia

Para la demostracin por las leyes de la inferencia se hace el uso de las

proposiciones bsicas construidas en la primera parte del problema, para crear las
premisas.

1. Si Teresa tiene cuatro aos de edad, entonces Teresa posee los mismos aos
de vida que Juliana
2. Si Jacinto tiene una edad diferente que Teresa, entonces Jacinto posee una
edad diferente que Juliana

3. Teresa tiene cuatro aos y Jacinto tiene la misma edad que Juliana

1. P Q
2. -R -S
3. P S
C: R Q
_______________________

4. P ley de simplificacin (S), 3

5. S ley de simplificacin (S), 3
6. Q Modus Ponendo Ponens MPP, 1,4
7. R Modus Tollendo Tollens MTT, 2,5
8. R Q ley de la Adjuncin (A) 7,8

Para llegar a la conclusin se usaron varias leyes de la inferencia iniciando por la

simplificacin de la premia 3, la posterior aplicacin de Modus Ponendo Ponens en
la que si se cumple p se cumple q, as mimo haciendo uso del Modus Tollendo
Tollens en la que negando afirmo. Llegando a la conclusin a travs de la ley de
adjuncin nos queda como resultado R Q, traduciendo esto nos queda que
Jacinto posee la misma edad que Juliana y Teresa.
Por lo que el razonamiento est bien.

Induccin matemtica http://mate.cucei.udg.mx/matdis/2ind/2ind4.htm

Induccin matemtica
http://www.eneayudas.cl/induccionmatematica/induccionmatematica.htm#0

Dilema constructivo https://educacion.elpensante.com/el-dilema-constructivo/

Absorcin https://es.wikipedia.org/wiki/Absorci%C3%B3n_(l%C3%B3gica)

Leyes de la inferencia
http://introduccionalalogicamatematica.blogspot.com.co/2013/11/dilema-
constructivo-dc-absorcion-abs.html

usos reglas de inferencia

http://lgicaepn.blogspot.com.co/2011/12/reglas-de-inferencia.html