USO DE LAS REGLAS DE INFERENCIA

HAYMER ANDRS GMEZ CUERO

CC: 1.111.789.818
Grupo: 417

Profesor
LEONARDO FABIO GARCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO MATEMATICO
BUENAVENTURA-VALLE
2016
 OBJETIVOS

Comprender y aprender a usar las Reglas de Inferencia, reconociendo las partes

que componen a la premisa, adems de aprender a realizar una traduccin lgica y
a organizar los argumentos para con base en ello poder utilizar la tabla de la verdad
y determinar la veracidad de un enunciado.
 INTRODUCCION

En el desarrollo de esta actividad aprenderemos acerca de la induccin

matemtica y sobre el uso de dos reglas de inferencia, cabe resaltar que estas son
muy importantes para poder determinar la veracidad de un enunciado, dando una
conclusin con base a un enunciado, y verificndolo en la tabla de la verdad.
INDUCCION MATEMATICA

La induccin matemtica es un mtodo de razonamiento que permite demostrar

proposiciones, frmulas, que dependen de una variable n (nmeros naturales),
que toma una infinidad de valores enteros y probar su veracidad.
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.

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

a) Sea n = 1, entonces:

1 (1 + 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.

Ejemplo 2:

Demuestre por induccin matemtica que:

2 + 6 + 10 + . . . . . + ( 4 n 2 ) = 2n2

a ) Sea n = 1 , entonces:

4 (1) 2 = 2

2 (1 2) = 2 ( Verdadero ) .

b ) Sea n = k , entonces:

2 + 6 + 10 + . . . . . + ( 4 k 2 ) = 2k2 ( 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 ) = 2k2 ( Por hiptesis de

induccin ) .

2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2 ) = 2
k2 + (4(k + 1) 2)

2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2 ) = 2
k2 + 4k + 2

Por lo tanto 2 + 6 + 10 +.. + ( 4 k 2 ) + ( 4 ( k + 1 ) 2

) = 2(k + 1)2
Ejemplo 3:
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 (1) b 2 (1) = a2 b2 = ( 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 2k + 2 a 2 b 2k + b 2k a 2 b 2k + 2 es divisible por a + b .

Por lo tanto a 2 ( k + 1) b 2(k + 1) es divisible por a + b .

DILEMA CONSTRUTIVO
Es una regla de inferencia de la lgica proposicional, y tengamos presente que en
lgica inferir es sacar una conclusin con base a unas premisas y esta regla nos
sirve para poder realizar una argumentacin valida.
Cabe mencionar que nos permite eliminar los antecedentes de las dos
condicionales, dando como conclusin la disyuncin de los consecuentes.
Adems hay que mencionar que esta regla se deduce de:
Condicional
Conjuncin
Disyuncin

Esta regla est compuesta por 2 premisas y una conclusin, como se puede ver
en el ejemplo siguiente:
Ejemplo:
Premisa 1: Si es temporada de invierno debo usar mi traje de lluvia y si es
temporada de verano me ir de paseo al rio
Premisa 2: o es temporada de invierno o es temporada de verano
Conclusin: por lo tanto uso mi traje de lluvia o me voy de paseo al rio

Traduccin Lgica
Premisa 1: ( ) ( )
Premisa 2: ( ) _
Conclusin:

Argumento organizado:
{[( ) ( )] ( )} s

Ejemplo:
Premisa 1: Si trabajo tengo dinero y si juego futbol soy feliz
Premisa 2: Trabaje o juegue futbol
Conclusin: Por lo tanto, tuve dinero o fui feliz
Ejemplo:
Premisa 1: Si Charlie viaja a Alaska morir de fro y Si se va al Sahara perecer
de calor.
Premisa 2: Charlie viajar a Alaska o al Sahara
Conclusin: por lo tanto morir de fro o perecer de calor.

ABSORCIN (ABS)
Es una regla de inferencia de la lgica proposicional, y esta regla nos sirve para
poder realizar una argumentacin valida.
La regla establece que si P implica Q, entonces P implica P y Q. Esta regla hace
posible introducir conjunciones en pruebas. A esto se le llama Ley de absorcin ya
que el termino P es absorbido por el termino Q en la consecuencia.

Ejemplo:

Premisa: Si estudio aprendo

Conclusin: Por lo tanto, Estudio, luego aprendo y estudio.

Traduccin Lgica
Si estudio aprendo (Premisa)
______________________
( ) Estudio, luego aprendo y estudio (Conclusin)

Ejemplo:

Premisa: Si va a llover, entonces llevar mi abrigo.

Conclusin: Por lo tanto, si va a llover entonces va a llover y llevar mi abrigo.

Ejemplo:

Premisa: Si voy a trabajar, entonces llevar mis EPP.

Conclusin: Por lo tanto, si voy a trabajar entonces voy a trabajar y llevar mis
EPP.
Desde muy joven empec a trabajar para poder buscar tener una buena calidad
de vida, pero siempre me fue complicado poder ingresar a hacer mis estudios
superiores; hoy en da afortunadamente la UNAD ofrece una excelente
oportunidad de formacin acadmica para quienes tenemos una vida laboral muy
densa, pues la virtualidad, aunque demanda de disciplina y adecuados hbitos de
estudio, nos permite contar con las 24 horas del da, los siete das de la semana
para ingresar a realizar las actividades segn las fechas lmites establecidas; esto
es algo que me ha alegrado mucho y le hice el siguiente comentario a mis amigos,
para que se motiven e ingresen a estudiar en la UNAD:

Premisa 1: He ingresado a estudiar administracin en Salud y lograr materializar

mi proyecto de vida.

Premisa 2: Si he ingresado a estudiar en la UNAD Administracin en Salud,

entonces conseguir un mejor estatus laboral.

Conclusin: Por lo tanto, conseguir un mejor estatus laboral y lograr materializar

mi proyecto de vida.

Por medio de los diferentes mtodos de demostracin con las tablas de verdad y
el uso de las leyes de inferencia, determinar si mi razonamiento es vlido.

Variables proposicionales:

p: He ingresado a estudiar administracin en Salud

q: lograr materializar mi proyecto de vida
r: conseguir un mejor estatus laboral

Traduccin Lgica:

Premisa 1:
Premisa 2:
Conclusin:

Argumento organizado:
{[(p q)] (p r)} (r q)

Pantallazo comprobacin a travs del simulador TRUTH

Tabla de la Verdad.

p q r {[(p )] ( )} ( )
V V V V V V V V V V V V V V
V V F V V V F V F F V F F V
V F V V F F F V V V V V F F
V F F V F F F V F F V F F F
F V V F F V F F V V V V V V
F V F F F V F F V F V F F V
F F V F F F F F V V V V F F
F F F F F F F F V F V F F F
1 3 2 5(resultado) 4

CONCLUSION
Para culminar debo decir que la induccin matemtica es un mtodo de
razonamiento, el cual nos ahorra mucho tiempo para la poder demostrar la
veracidad de las proposiciones, ya que si es vlida con un numero entero lo ser
con cualquiera, y no tenemos que estas probando por cada uno de los nmeros
naturales, en cuanto a las reglas de inferencia; debo resaltar que son de gran
importancia en la resolucin y comprensin de un problema y que adems podemos
demostrar su veracidad por medio de la tabla de la verdad; veracidad de situaciones
vividas, laborales y dems. Por tal motivo es de gran importancia y de provecho.

BIBLIOGRAFIA
Rodrguez, V. R. (2013). Conjuntos numricos, estructuras algebraicas y
fundamentos de lgebra lineal. Volumen I: conjuntos numricos, complementos.
Madrid, ES: Editorial Tbar Flores. Pginas 17-29. Recuperado
de: http://hdl.handle.net/10596/6534

Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a

las lgebras de Boole. 1. Edicin. Mxico, Editorial Pearson. Pginas 9-54.
Recuperado de:http://hdl.handle.net/10596/7960
Zazueta B. L. Clix L. C. (2008). Lgica II. Primera Edicin. Mxico Universidad
autnoma de Sinaloa. Pginas 91 197. Recuperado
de: http://hdl.handle.net/10596/7963
Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. :
Larousse - Grupo Editorial Patria. Pginas 29 38. Recuperado
de: http://hdl.handle.net/10596/6544
Giraldo, J. (2016) Uso de las Leyes de Inferencia en la demostracin de la validez
de un argumento. Recuperado de http://hdl.handle.net/10596/7964