PASO 3 USO DE REGLAS DE INFERENCA

EDWARD JADIR VILLAMIZAR PRADA

1095797803
200611_288

TUTOR
DELFINA REYES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD BUCARAMANGA
TECNOLOGIA EN RADIOLOGIA E IMAGENES DIAGNOSTICAS
BUCARAMANGA
2017
 OBJETIVOS

Este trabajo tiene como objetivo el conocimiento y apropiamiento de manera

resumida y practica los factores relevantes acerca del tema de las reglas de
inferencia.
Como estudiante asumir la contextualizacin de sus operaciones,
propiedades, grficas y relaciones con reglas de inferencia.
La utilizacin de las reglas de inferencia para solucionar problemas de la
cotidianidad de manera ms fcil y eficiente.
 INTRODUCCION

A continuacin, en este trabajo se incentiva al estudiante a realizar una investigacin

en la cual se busca el conocimiento en todos los aspectos relacionados con las
reglas de inferencia.
Se busca provocar en el estudiante la utilizacin de estos conceptos relacionados
con reglas de inferencia para la solucin de todo tipo de problemas que se
encuentran en la cotidianidad.
Se presentan los resultados de la investigacin acerca de la demostracin por el
principio de induccin matemtica. As como tambin la exposicin del tema
escogido simplificacin y ley de la conjuncin y tambin se abarca el tema de
compuertas lgicas.
Se realiza la utilizacin de los conceptos encontrados para aplicarlos en la solucin
de problemas planteados en el anexo.
 DESARROLLO DE LA ACTIVIDAD

Demostracin por el Principio de Induccin Matemtica.

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).
3) Se predice que se cumple para n = k + 1 (Tesis).
4) Se 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.
Ejemplo 1
Demuestre por induccin matemtica que:
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.
Ejemplo 2
Demuestre por induccin matemtica que:
2 + 6 + 10 + ..... + (4 n 2) = 2 n 2
a) Sea n = 1, entonces:
4n2=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) = 2 k 2 + (4(k + 1) 2)
2 + 6 + 10 + ..... + (4 k 2) + (4(k + 1) 2) = 2 k 2 + 4 k + 2
Por lo tanto 2 + 6 + 10 + ..... + (4 k 2) + (4(k + 1) 2) = 2(k + 1) 2
Ejemplo 3
Demuestre por induccin matemtica que:
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.

SIMPLIFICACIN Y LEY DE LA CONJUNCIN

Simplificacin
Regla que se aplica a proposiciones unidas con "&". como ambas premisas son
ciertas por tanto la conclusin tambin lo ser es por ello que esta regla nos permite
pasar de una conjuncin a cada una de las proposiciones.
P&Q P&Q (P M) & Q (P M) & Q
-------- -------- __________________ -____________________
.: P .: Q .: (P M) .: Q
Ejemplo:
Una sociedad es una coleccin de individuos que buscan una forma de vida y la
cultura es su forma de vida.
S: Una sociedad es una coleccin de individuos que buscan una forma de vida
C: la cultura es su forma de vida.
S&C S&C
________ ________________
S C
En la primera concluimos que Una sociedad es una coleccion de individuos que
buscan una forma de vida , y en la segunda que en una sociedad la cultura es su
forma de vida.
Ley de la conjuncin
La conjuncin es una conectiva lgica representada con el smbolo . Cuando la
usamos, el valor de verdad de la proposicin compuesta es verdadera, nicamente,
si las dos proposiciones a las que aplicamos son verdaderas y es falsa si por lo
menos una de ellas es falsa. si representamos el enunciado est lloviendo con A
y el enunciado es martes con B, la proposicin compuesta AB, creada con la
conectiva de conjuncin, ser verdadera solamente si es cierto que est lloviendo
(V) y es cierto que es martes (V) y ser falsa en todos los otros casos.
Esta relacin de se puede representar de forma tabular con la siguiente tabla de
verdad:
 A B AB
V V V
V F F
F V F
F F F

En lenguaje natural la conjuncin es aproximadamente equivalente a la

palabra y cuando la usamos para combinar diferentes enunciados. En este ejemplo,
la expresin est lloviendo y es martes tiene el mismo significado que la
expresin AB. La siguiente tabla muestra varios ejemplos en lenguaje natural y
sus equivalentes en notacin de lgica proposicional.

Valor de Valor de
Valor de
verdad del verdad del
Primer Segundo Conjuncin en verdad de la
primer segundo
enunciado enunciado lenguaje natural conjuncin
enunciado enunciado
(AB)
(A) (B)

Los tringulos
Los tringulos Los cuadrados tienen 3 lados y los
V V V
tienen 3 lados. tienen 4 lados. cuadrados tienen 4
lados.

Los tringulos
Los
Los tringulos tienen 5 lados y los
pentgonos F V F
tienen 5 lados. pentgonos tienen
tienen 5 lados.
5 lados.

El rea de un El rea de un
crculo es igual 2 + 4 =7 crculo es igual V F F
a r a r y 2 + 4 = 7.

El sol es un planeta
El sol es un Jpiter es una
y jpiter es una F F F
planeta. estrella.
estrella.

Etapa 3 planteamiento
3. Lina y Luis se conocieron en la UNAD cuando realizaban sus estudios de
Zootecnia, como ya se graduaron y se casaron, quieren tener un negocio familiar
para el cuidado de mascotas, para lo cual van a comprar una casa para all iniciar
con la empresa familiar; Lina y su esposo conversan respecto a una casa que les
gust y hacen la siguiente reflexin: La casa es valiosa Luis no hubiera ofrecido
comprarla. O bien las apariencias no son dignas de confianza o la casa no es
 valiosa. Luis ofreci comprar la casa. Por consiguiente, las apariencias no son
dignas de confianza. Determinar con el uso de las dos formas de la tabla de verdad
la validez del razonamiento y hacerlo tambin con el uso de las leyes o reglas de
inferencia.
SOLUCION
p: la casa es valiosa
q: Luis ofrece comprarla
r: las apariencias son dignas de confianza
preposiciones
P1: la casa es valiosa o Luis no hubiera ofrecido comprarla.
P2: las apariencias no son dignas de confianza o la casa no es valiosa.
P3: Luis ofreci comprar la casa.
Conclusin
las apariencias no son dignas de confianza
expresin
(p v ~q) ((~r v ~p)q) ~r

p q r ~p ~q ~r (p v ~q) (~r v ~p) (~r v ~p)q (p v ~q)((~r v ~p))q (p v ~q)((~r v ~p))q ~r

V V V F F F V F F F V
V V F F F V V V V V V
V F V F V F V F F F V
V F F F V V V V F F V
F V V V F F F V V F V
F V F V F V F V V F V
F F V V V F V V F F V
F F F V V V V V F F V

Decimos que el planteamiento es vlido.

Aplicacin de reglas de inferencia
(p v ~q) ((~r v ~p)q) ~r

P1: (p v ~q)
P2: (~r v ~p)
P3: q
P4: p si en P1 y P3 usamos TP (Modus Tollendo Ponens)
P5: ~r si en P2 y P4 usamos TP (Modus Tollendo Ponens)
C: ~r~r = ~r

Etapa 4 compuertas lgicas

http://prezi.com/rbtk0ojl61zs/?utm_campaign=share&utm_medium=copy
 CONCLUSIONES

Las reglas de inferencia estn en muchas cosas de nuestra cotidianidad a

veces la utilizamos sin darnos cuenta y nos facilita de cierta forma la
organizacin de algo en especfico.
La vital importancia que tuvo el material ofrecido en la plataforma y la
oportuna colaboracin de la tutora que facilita la entrega del trabajo.
 BIBLIOGRAFIA

Tomado de:
http://www.eneayudas.cl/induccionmatematica/induccionmatematica.htm