Trabajo Colaborativo Tres

JOHN EDWAR BENJUMEA 1115071954

JOHN ERIK MALES RIOS 1114824722

Grupo:
200611_425

Tutor:
LEONARDO FABIO GARCIA

Universidad Nacional Abierta y a Distancia

Pensamiento Lógico y Matemático
Palmira
2016
 INTRODUCCIÓN

Este trabajo pensamiento lógico y matemático fue realizado de manera colaborativa

con el fin de relacionarnos con el tutor y compañeros dividiéndonos las labores para
obtener un mejor resultado en la realización del ejercicio en el cual se realizó una
investigación sobre cómo identificar y utilizar los usos de reglas de inferencia lógica y los
diferentes tipos de Demostración en la Lógica Matemática las cuales evidenciamos en el
foro y en el e-portafolio y el cual se entrega como producto final como un documento en el
que se encuentra la resolución de la situación problémica expuesta en el anexo 3, con su
respectiva comprobación en el simulador TRUTH
 OBJETIVOS

Objetivo principal

 Mediante el uso de reglas de inferencia y el simulador dar respuesta a la

situación problemática expuesta en el anexo 3.

Objetivos específicos

 Investigar y socializar acerca terminologías de los diferentes tipos de

Demostración en la Lógica Matemática.
 Implementar las tablas de verdad en el desarrollo de las actividades y en la
solución del anexo 3.
 Comprobar y evidenciar la solución del producto final en el simulador TRUTH.

SITUACIÓN PROBLÉMICA DE LA INFERENCIA LÓGICA 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 Ximena 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.

Solución:

p: Ximena gano el computador

q: Johan recibió la Tablet
r: Ricardo recibió la Tablet
s: Ximena recibió la Tablet
t: Carlos recibió la Tablet

n=5 #filas=2𝑛 =25 =32

[(p→(qVr))Λ(s→¬p)Λ(t→¬r)Λp]→¬t

Tabla de verdad
 A B C D E F
p q r s t qVr p→(qVr) s→¬p t→¬r AΛB CΛp DΛE F→¬t
V V V V V V V F F F F F V
V V V V F V V F V F V F V
V V V F V V V V F V F F V
V V V F F V V V V V V V V
V V F V V V V F V F V F V
V V F V F V V F V F V F V
V V F F V V V V V V V V F
V V F F F V V V V V V V V
V F V V V V V F F F F F V
V F V V F V V F V F V F V
V F V F V V V V F V F F V
V F V F F V V V V V V V V
V F F V V F F F V F V F V
V F F V F F F F V F V F V
V F F F V F F V V F V F V
V F F F F F F V V F V F V
F V V V V V V V F V F F V
F V V V F V V V V V F F V
F V V F V V V V F V F F V
F V V F F V V V V V F F V
F V F V V V V V V V F F V
F V F V F V V V V V F F V
F V F F V V V V V V F F V
F V F F F V V V V V F F V
F F V V V V V V F V F F V
F F V V F V V V V V F F V
F F V F V V V V F V F F V
F F V F F V V V V V F F V
F F F V V F V V V V F F V
F F F V F F V V V V F F V
F F F F V F V V V V F F V
F F F F F F V V V V F F V

Es contingencia

Expresión booleana simulador TRUTH

[(p>(q+r))&(s>~p)&(t>~r)&p]>~t

CONCLUSIONES
 Las tablas de verdad nos ayudan a dar solución a las diferentes situaciones
propuestas en los usos de reglas de inferencia ya sea por medio de un simulador o
propiamente a mano.

Al realizar una tarea de forma colaborativa es muy importante aprender a interactuar

con tu tutor y compañeros ya que todos tenemos diferentes puntos de vista de las
situaciones propuestas.

Cuando utilizamos un software como el simulador TRUTH podemos evidenciar de

manera fácil y rápida el estado del producto obtenido después del desarrollo de la actividad.