PENSAMIENTO LOGICO Y MATEMATICO

REGLAS DE INFERENCIA

JULIANA CHICUASUQUE ESPINOSA

DAVID ALEJANDRO OBANDO

YENITH MARCELA CARDENAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PROGRAMA ADMINISTRACION EN SALUD

PENSAMIENTO LOGICO Y MATEMATICO

CURSO: 200611 A _362

GRUPO:96

BOGOTA

2017

REGLAS DE INFERENCIA

JULIANA CHICUASUQUE ESPINOSA

DAVID ALEJANDRO OBANDO

YENITH MARCELA CARDENAS

TUTOR: ELIZABETH PUENTES MONTAÑO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PROGRAMA ADMINISTRACION EN SALUD

PENSAMIENTO LOGICO Y MATEMATICO

CURSO: 200611 A _362

GRUPO:96

BOGOTA

2017

Objetivos

• Identificar y conceptualizar las terminologías del algebre Boole.
• Dar solución al enunciado problémico y demostrar la validez de un argumento lógico.
• Analizar y desarrollar el enunciado propuesto para el trabajo colaborativo en la tabla de verdad y hacer uso del simulador TRUTH.

Introducción

Las reglas de inferencia son una forma lógica que consiste en una función que toma premisas, las analiza y restituye una conclusión.  Estas a su vez son un componente de la lógica proposicional que estudia la justificación valida de una conclusión.

A continuación, se presenta la situación problémica a la cual fueron aplicados los conceptos de esta unidad para la cual se realizó un estudio minucioso entre los integrantes de este grupo.  

Se aplico y reforzó los conocimientos  de las tablas de verdad y se puso en práctica la teoría  de las reglas de inferencia.

SITUACIÓN PROBLÉMICA DE LA LÓGICA PROPOSICIONAL FASE GRUPAL

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.

...