PENSAMIENTO LGICO MATEMTICO

Actividad de Reconocimiento

PASO 3 USO DE LAS REGLAS DE INFERENCIA

Presentado por:

ANGELICA GRANOBLES

ANDRES FELIPE OSSA GAAN

OMAR OLMEDO CIFUENTES

PEDRO JOSE VELEZ

STEFANIA GONZALEZ

Presentado a:

LEONARDO FABIO GARCIA SANCLEMENTE

Tutor del Curso: PENSAMIENTO LOGICO MATEMATICO

Curso: 200611_462

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CEAD PALMIRA

VALLE DEL CAUCA

Mayo 15 de 2017
 PENSAMIENTO LGICO MATEMTICO
Actividad de Reconocimiento

Objetivo

Realizar la conceptualizacin del tema del anexo 2 de la fase grupal.

Hacer el uso del simulador TRUTH para comprobar el resultado de la tabla de verdad.

Aplicar las reglas de inferencia segn necesite el enunciado

 PENSAMIENTO LGICO MATEMTICO
Actividad de Reconocimiento

Introduccin

En el siguiente trabajo se desarrolla el Paso 3 de Uso de las reglas de inferencia, con el fin de llevar

a cabo la conceptualizacin del tema grupal del anexo 2, aplicando las leyes de inferencia,

haciendo las tablas de verdad y comprobando con el simulador TRUTH

 PENSAMIENTO LGICO MATEMTICO
Actividad de Reconocimiento

ANEXO 2 FASE GRUPAL

"La Escuela de Ciencias Bsicas Tecnologas e Ingenieras ECBTI de la UNAD realiz como

evento disciplinar unas Olimpiadas Matemticas Virtuales. El Lder Nacional de la Escuela le ha

informado al Decano Nacional de Escuela como fue la premiacin, el primer lugar recibir un

computador porttil, el segundo lugar recibir una Tablet y el tercer lugar recibir una coleccin

de libros de matemticas Schaun; para dicho fin el lder Nacional hizo el siguiente razonamiento:

Si Ximena se gan el computador entonces Johan recibi la Tablet o Ricardo fue quien recibi la

Tablet. Si Johan fue quien recibi la Tablet, entonces Ximena no obtuvo como premio el

computador. Si Carlos fue quien recibi la Tablet entonces Ricardo no fue quien recibi la Tablet.

Ximena se gan el computador. Por lo tanto, Carlos no fue quien recibi la Tablet."

Proposiciones simples:

P: Ximena se gan el computador.

Q: Johan recibi la Tablet.

R: Ricardo recibi la Tablet

S: Carlos recibi la Tablet.

Declaracin de premisas:

Premisa 1: Si Ximena se gano el computador entonces Johan recibi la Tablet o Ricardo fue quien

recibi la Tablet.

Premisa 2: Si Johan fue quien recibi la Tablet entonces Ximena no obtuvo como premio el

computador.

Premisa 3: Si Carlos fue quien recibi la Tablet entonces Ricardo no fue quien recibi la Tablet.
 PENSAMIENTO LGICO MATEMTICO
Actividad de Reconocimiento

Premisa 4: Ximena se gan el computador.

Conclusin: Carlos no fue quien recibi la Tablet.

Simbolizacin de Razonamiento:

P1: P (QR)

P2: Q P

P3: S R

P4: P

C: S

Con uso de reglas de inferencia:

P1: P (QR)

P2: Q P

P3: S R

P4: P

5: QR (MPP P1 y P4)

6: Q (MTT P2 y P4)

7: R (MTP 5 y 6)

8: S (MTT P3 y 7)
 PENSAMIENTO LGICO MATEMTICO
Actividad de Reconocimiento

Por tablas de la verdad:

Proposicin final:
{[P (QR)] (Q P) (S S) P} S

p q r s qvr p q > p r s > r s p > (q v r) {[p>(qvr)](q>p)(s>r)p} {[p>(qvr)](q>p)(s>r)p}>s

v v v v v f f f f f v f v
v v v f v f f f v v v f v
v v f v v f f v v f v f v
v v f f v f f v v v v f v
v f v v v f v f f f v f v
v f v f v f v f v v v f v
v f f v f f v v v f f f v
v f f f f f v v v v f f v
f v v v v v v f f f v f v
f v v f v v v f v v v f v
f v f v v v v v v f v f v
f v f f v v v v v v v f v
f f v v v v v f f f v f v
f f v f v v v f v v v f v
f f f v f v v v v f v f v
f f f f f v v v v v v f v

p q r s qvr p q>p r s>r p>(qvr) s

v v v v v f f f f v f
v v v f v f f f v v v
v v f v v f f v v v f
v v f f v f f v v v v
v f v v v f v f f v f
v f v f v f v f v v v
v f f v f f v v v f f
v f f f f f v v v f v
f v v v v v v f f v f
f v v f v v v f v v v
f v f v v v v v v v f
f v f f v v v v v v v
f f v v v v v f f v f
f f v f v v v f v v v
f f f v f v v v v v f
f f f f f v v v v v v
 PENSAMIENTO LGICO MATEMTICO
Actividad de Reconocimiento

Comprobacin Simulador Truth

 PENSAMIENTO LGICO MATEMTICO
Actividad de Reconocimiento

Conclusiones

Al terminar este trabajo obtuvimos como resultado, el conocimiento que nos brind el tema de uso

de las reglas de inferencia, sabiendo conceptualizar el enunciado del anexo 2 con una buena

aplicacin de las reglas de inferencia, dando como conclusin un buen resultado en la tabla de

verdad, comprobndolo con el simulador TRUTH