LÓGICA PROPOSICIONAL

MAGDA LORENA MONROY

26430392

GRUPO
200611_348

NINI JOHANNA VARGAS

TUTORA

UNIVERSIDAD NACIONAL ABIERTA y a DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO
NEIVA HUILA
MAYO 2019
 INTRODUCCIÓN

Este trabajo se ejecuta a través de las guías de la unidad 1 llamada LÓGICA

PROPOSICIONAL, para desarrollar temas propuesto como lo es los
Cuantificadores Existenciales Único.
 OBJETIVO

Aprender a desarrollar nuestra capacidad de comprender conceptos básicos de la lógica

preposicional y aplicarlos para la resolución de problemas
 CONCLUSION

Durante el procedimiento de la elaboración de los ejercicios pude

llegar a algunos resultados. Garbanzo
 DESARROLLO DE LA ACTIVIDAD

 Para el desarrollo la actividad de la unidad 1, se desarrollaran los ejercicios D.

EJERCICIO 1

 El tema desarrollado es:

D-Cuantificador Existencial Único
EJERCICIO 2

A continuación encontrara los argumentos para desarrollar el ejercicio 2

D. Juan juega básquet por hobby o practica tenis de forma profesional. Si práctica tenis de forma
profesional entonces juega por más de tres horas diarias y quema muchas calorías.

 PORPOSICIONES SIMPLES

P= Juan juega básquet por hobby

q= Practica tenis de forma profesional

r= Si practica tenis de forma profesional

s= Juega por más de 3 horas diarias

t= quema calorías

 LENGUAJE SIMBOLICO

[(p V q) (r s) ^ t]

p q R s t (p V q) (r s) [(p V q) (r s) ^ t]
V V V V V V V V
V V V V F V V F
V V V F V V F F
V V V F F V F F
V V F V V V V V
V V F V F V V F
V V F F V V V V
V V F F F V V V
V F V V V V V V
V F V V F V V V
V F V F V V F F
V F V F F V F F
V F F V V V V V
V F F V F V V V
V F F F V V V V
V F F F F V V V
F V V V V V V V
F V V V F V V V
F V V F V V F F
F V V F F V F F
F V F V V V V V
F V F V F V V V
F V F F V V V V
 F V F F F V V V
F F V V V F V F
F F V V F F V F
F F V F V F F F
F F V F F F F F
F F F V V F V F
F F F V F F V F
F F F F V F V F
F F F F F F V F

 TABLA GENERADA POR EL SIMULADOR LOGICA UNAD