Grupo 200611_859_paso 3_carloscarrillo

PENSAMIENTO LOGICO Y MATEMATICO

Portada

Paso 3 - Uso de las Reglas de Inferencia

Tutor JOHN JAIRO LEIVA

Alumno: Carlos Alberto Carrillo Sánchez

Cc 19306914

NOVIEMBRE 30 DEL 2017

1
Etapa 1: Demostración por el Principio de Inducción Matemática
Etapa 2: Silogismo Hipotético y Silogismo Disyuntivo
Etapa 3: Problema 3
Etapa 4: Aplicaciones en el mundo real del Álgebra de Boole.
https://www.youtube.com/watch?v=n62mOZlHEr0
Reciban un abrazo

Objetivos
Debemos identificar y utilizar en forma clara y precisa las reglas de inferencia
lógica por inducción y deducción en formulaciones y demostraciones de
razonamientos válidos en situaciones específicas del mundo real.
Introducción
El poder matematizar con el algebro de Boole las expresiones del lenguaje natural,
es un excelente reto seguiré lo sugerido en la rúbrica

Conceptualización de uno de los tipos de demostración lógica seleccionada

Tema escogido:

Etapa 1: Demostración por el Principio de Inducción Matemática

Sea P una propiedad definida en los números naturales (enteros positivos). Si n=1
satisface esa propiedad y además si a partir de cualquier natural n que satisface
esa propiedad se llega a que n + 1, también la satisface, entonces cada número
natural la satisface. Si no se cumple para n=1 entonces esa proposición
matemática no es cierta
Como estrategia de demostración primero probamos con n=1
1/1(2) + 1/2(3)+ 1/3(4)……1/n(n+1) = n/(n+1)
I) n=1 1/1(1+1)= 1/(1+1)
½ = ½ Se Cumple
II) Generamos la hipótesis verdadera de que (n=k)
1/k(k+1) = k/(k+1) (a)

2
III) Ahora debemos probar con n= (k+1)
1/(k+1) + 1/(k+1)(k+1+1] = (k+1) / k+1+1 (b)
1/(k+1) +1/(k+1)(k+2] = (k+1) /( k+2)
Sustituimos (a) en (b)
k/(k+1) +1/(k+1)(k+2] = (k+1) /( k+2)
(k)[1/(k+1)] + [1/(k+1)] [1/(k+2)] = (k+1) /( k+2)
[1/(k+1)][ k + 1/(k+2)] =
[1/(k+1)][kk+2k + 1/(k+2)] =
(k+1)(k+1) / (k+1)(k+2) =
(k+1)/(k+2) = (k+1)/(k+2)
Con estos tres pasos demostramos por inducción matemática se cumple y es
válida. Tomada de https://www.youtube.com/watch?v=yEfz3ZsX02s
Etapa 2 Conceptualización de una de las terminologías de las leyes de
inferencia seleccionada
Tema escogido: Silogismo Disyuntivo
“Dadas tres premisas, dos de ellas implicaciones, y la tercera una
disyunción cuyos miembros sean los antecedentes de los condicionales,
podemos concluir en una nueva premisa en forma de disyunción, cuyos
miembros serían los consecuentes de las dos implicaciones. Lógicamente,
si planteamos una elección entre dos causas, podemos plantear una
elección igualmente entre sus dos posibles efectos, que es el sentido de
esta regla.
Definición tomada de la Web conferencia : https://goo.gl/fh2rhK
Ejemplo 1
Premisa 1 Si llueve, entonces las calles se mojan
Premisa 2 Si la tierra tiembla, los edificios se caen.
Premisa 3 Llueve o la tierra tiembla.
Concluimos: Las calles se mojan o los edificios se caen
P = llueve; entonces= conector; q= las calles se mojan p→q
r= la tierra tiembla; s=los edificios se caen s→r
Llueve o la tierra tiembla pVr

3
Las calles se mojan o los edificios se caen qVs
Ejemplo 2

Premisa 1 Si bebo licor, entonces me embriago

Premisa 2 Si pago una cuenta, recibo la factura
Premisa 3 bebo licor o recibo la factura.
Concluimos: me embriago o pago una cuenta
P = bebo licor; entonces= conector ; q= me embriago p→q
r= pago la cuenta; s=recibo factura s→r
bebo licor o recibo la factura. pVr

me embriago o pago una cuenta qVs

Ejemplo 3

Premisa 1 Si canto alto, entonces reclama el vecino

Premisa 2 Si beso a teresa, me invita a cerveza
Premisa 3 canto alto o invita a cerveza.
Concluimos: reclama el vecino o beso a teresa
P = canto alto; entonces= conector ; q= reclama el vecino p→q
r= beso a teresa; s=invita a cerveza s→r
canto alto o invita a cerveza pVr

reclama el vecino o beso a teresa qVs

Tema escogido: Silogismo Hipotético HS

Si a una causa se sigue una consecuencia , y esta consecuencia es causa de
una segunda consecuencia, se puede decir que esa primera causa es causa
de esa segunda consecuencia, del mismo modo que, si una bola de billar
roja golpea a otra bola blanca que a su vez golpea a una bola negra, la bola
roja es causa del movimiento de la bola negra. Expresado en forma de
inferencia lógica se escribe:
4
Ejemplo 1
Definición tomada de la Web conferencia: https://goo.gl/fh2rhK

t→s si la bola roja golpea a la bola blanca, la bola blanca se mueve (premisa)
s→r si la bola blanca golpea a la bola negra , la bola negra se mueve (premisa)
------------------------------------------------------------------------------------------------------------
r→v si la bola roja golpea a la bola blanca, la bola negra se mueve (conclusion)

t→s
s→r
______
t→r
Ejemplo 2
t →s si Juan le entrega dinero a Pedro, Pedro tiene dinero para prestar
(premisa)
s →r si Pedro le entrega dinero Juana, Juana tiene dinero para prestar
(premisa)
--------------------------------------------------------------------------------------------------------------
t →r si Juan le entrega dinero a Pedro, Juana tiene dinero para prestar
(conclusión)

Ejemplo 3
t →s si Samuel le informa del paseo a Carla, Carla le avisa del paseo a Petra
(premisa)
s →r si Carla le avisa d paseo a Petra , Petra le avisa de paseo a Tilsa
(premisa)
--------------------------------------------------------------------------------------------------------------
t →r si Samuel le informa del paseo a Carla, Petra le avisa de paseo a Tilsa
(conclusión)

5
Link de acceso a presentación en Prezi de las
dirección completa , y el vídeo no corre por qué uso prezi gratuito.
https://prezi.com/view/QNzHvF68MOTHiXitsEN3/

Anexo 1 problema 3

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 reflexión: “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 también con el uso de las leyes o reglas de
inferencia.

“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”.
(pV~q)V(~rV~p) V ( q→~r)

Desarrollo:
P= la casa es valiosa

Q= Luis ofrece comprar la casa

R = apariencias dignas de confianza

~P = la casa no es valiosa

~R = apariencias no dignas de confianza

~Q= Luis ofrece no comprar la casa

6
La casa es valiosa ó Luis no hubiera ofrecido comprarlaO bien las
apariencias no son dignas de confianza o la casa no es valiosa.
(pV~q)V(~rV~p)

Luis ofreció comprar la casa. Por consiguiente, las apariencias no son

dignas de confianza”.
(q→~r)
Por Ley de Adición (Disyunción)
[(pV~q)V(~rV~p)] V(q→~r)
[ ( V ) V ( F) ] V ( F)
( V ) V ( F) = V

p q r (qV~q) (~rV~p) [(qV~q)V(~rV~p)] [(pV~q)V(~rV~p)] V(q→~r)

V V V V F V V

V V F V F V V

V F V V V V V

V F F V V V V

F V V V V V V

F V F V V V V

F F V V V V V

F F F V V V V

El respectivo pantallazo como evidencia de la comprobación a través del

simulador TRUTH Después de aplicar las tablas de la verdad da como resultado
TAUTOLOGIA

7
8
- Conclusiones
El aprendizaje de la algebra booleana, las reglas de inferencia y su desarrollo es
sin duda la base para el pleno desarrollo del pensamiento artificial con
pensamiento lógico en el lenguaje de máquinas para interactuar con el Ser
humano,

- Bibliografía
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?docID=3227628
&ppg=30
Link Como realizar la simulación en Truth Table:
https://www.youtube.com/watch?v=siXFce-RKyc&feature=youtu.be
Rodríguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza".
ProQuest (Ed). Conjuntos numéricos, estructuras algebraicas y fundamentos de
álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 17-29).
Madrid, España: Editorial Tébar Flores. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=
10995629&tm=1489710145734