UNIDAD 3 – USO DE LAS REGLAS DE INFERENCIA

FASE INDIVIDUAL

PRESENTADO POR: DILBERTO ESTEBAN JIMENEZ HERNANDEZ

Código: 80010473

Grupo: 200611_729

PRESENTADO A: LUIS GABRIEL PRIETO

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CEAD JOSÉ ACEVEDO Y GÓMEZ

PROGRAMA DE INGENIERÍA INDUSTRIAL

BOGOTA D.C 10 DE MAYO DEL 2017

 2

OBJETIVOS

Comprender y entender el significado lógico matemático. Para así mismo razonar y

entender contextos de la lógica.

Fortalecer los conceptos e identificar los tipos de demostraciones lógicas mediante

ejemplos básicos en su desarrollo.

Mostrar la forma como se resuelve un problema mediante las leyes de inferencia de la

lógica matemática para comprender el silogismo.

Poner a prueba los conocimientos adquiridos en la unidad mediante el trabajo practico.

Reconocer según el caso establecido cuáles son sus proposiciones, comprobarlas mediante
el simulador de Truth y de esa forma identificar las premisas del caso.
 3

INTRODUCCIÓN

El desarrollo de este trabajo, nos permite aplicar los conocimientos adquiridos en la

solución de problemas utilizando las terminologías de las diferentes tipos de demostración

en la Lógica Matemática, entre las cuales se aplica la transición del lenguaje natural al

lenguaje simbólico, la identificación de las leyes de inferencia lógica, la elaboración de las

tablas de verdad, el uso de software simulador como el Truth Table.

A continuación se representa la solución de un problema mediante el uso de las leyes de

inferencia, estas consisten en interpretar, plantear y exponer la solución de un enunciado

para mostrar su validez en cuanto argumentación lógica.

 4

Situación problemática Anexo 2

La Escuela de ciencias Básicas Tecnologías e Ingenierías ECBTI de la UNAD realizó

como evento disciplinar unas Olimpiadas Matemáticas Virtuales. El Líder Nacional de la

Escuela le ha informado al decano Nacional de Escuela como fue la premiación, el primer

lugar recibirá un computador portátil, el segundo lugar recibirá una Tablet y el tercer lugar

recibirá una colección de libros de matemáticas Schaun; para dicho fin el líder 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.

Declaración proposiciones simples

P: Ximena se ganó el computador

Q: Johan recibió la Tablet

R: Ricardo fue quien recibió la Tablet

S: Carlos fue quien recibió la Tablet

Declaración de premisas

Premisa 1: Si Ximena se ganó el computador entonces Johan recibió la Tablet o Ricardo

fue quien recibió la Tablet.

 5

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.

Premisa 4: Ximena se ganó el computador.

Conclusión: Carlos no fue quien recibió la Tablet

Declaración premisa en lenguaje formal

Premisa 1: (p → q) ˅ r

Premisa 2: Q→ ~P

Premisa 3: (s → ~r)

Premisa 4: P

Conclusión: ~S

Expresión formal del razonamiento

{[( P → Q) ˅ R ] ^ (Q→ ~P) ^ (S → ~R) ^ (P)]} → (~S)

Solución del problema por medio de tablas de verdad

 6

Leyes de inferencia comprobación

Premisa 1= ( P → Q)˅ R

Premisa 2= Q→ ~P

Premisa 3= S → ~R

Premisa 4= P

Premisa 5= Q˅ R

Premisa 6= ~Q TT

Premisa 7= ~R DS

Premisa 8= ~S TT

Pantallazo Tabla de la verdad con simulador TRUTH

{[(P & Q) + R ] & (Q>~P) & (S > ~R) & (P)]> (~S)

Es contingencia, es porque hace falta información para tener asertividad del comentario

hecho.
 7

CONCLUSIONES

La lógica matemáticas, nos ayuda a relacionar diferentes esquemas y puntos para el

aprendizaje de este modo tener una buena estructura cognitiva. Con la lógica podemos crear

conocimientos. Proporcionando reglas y técnicas para la solución de problemas para llegar

a un resultado propio.

Finalmente se desarrolló el trabajo con los requerimientos solicitados, llegando a realizar la

solución del problema. Para posteriormente realizar su correspondiente comprobación el

simulador TRUTH.
 8

BIBLIOGRAFIA

Anon, (2017). Recuperado de:

http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion3.pdf [Accessed
11 May 2017].

Mathlogic (2013) Inferencia lógica, Bolivia, Recuperado de:

https://www.youtube.com/watch?v=OuHYh1Xw5no

Stefan Waner y Steven (2013) Introducción a lógica, Recuperado de:

https://www.zweigmedia.com/MundoReal/logic/logic5.html

Juan José Fallas (2012) Calculo diferencial e integral, Costa rica, Recuperado de:
https://tecdigital.tec.ac.cr/revistamatematica/cursos-
linea/CALCULODIFERENCIAL/folletos/PracticaLogica.pdf