UNIDAD 1 – TAREA 1

MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

EJERCICIO 1: PROPOSICIONES Y TABLAS DE VERDAD
EJERCICIO C

DARWIN ESNAIDER CAMPOS – CÓDIGO 200611_156

PENSAMIENTO LÓGICO Y MATEMÁTICO (200611A_1143)

TUTORA:
MIREYA GOMEZ

ECISA - TECNOLOGÍA EN SEGURIDAD Y SALUD EN EL TRABAJO - UNAD -

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA.

2022
 Introducción

El presente trabajo se realiza con el objetivo de conocer que son las

preposiciones, que es son los conectores lógicos y como se escribe la lengua
natural y el lenguaje simbológico y como se desarrolla la tabla de la verdad,
verificándola con el simulador de Lógica UNAD.
 Desarrollo ejercicio 1:

Proposiciones y tablas de verdad Ejercicio C A continuación, encontrará las

proposiciones simples para el desarrollo del ejercicio 1:
p: En el parlamento gubernamental existe la corrupción.
q: Los países destinan gran parte de su presupuesto a la educación.
s: La educación es un derecho para todos.
p ↔ (~q ∧ ~s)
 Lenguaje natural de la expresión formal:
Si y solo si en el parlamento gubernamental existe la corrupción entonces, Los
países no destinan gran parte de su presupuesto a la educación y la educación no
es un derecho para todos.

 Tabla de la verdad

p q s ~q ~s (~q ∧ ~s) p ↔ (~q ∧ ~s)

v v v f f f f
v v f f v f f
v f v v f f f
v f f v v v v
f v v f f f v
f v f f v f v
f f v v f f v
f f f v v v f
Tabla de verdad en simulador Lógica UNAD:

Se clasifica como contingencia

 Conclusiones del trabajo desarrollado

Se terminó la clasificación tautológica de acuerdo con los resultados, así mismo se

logra aplicar el lengua natural y lenguaje simbólico; se conoce el tipo de
preposiciones y se determinan propiedades de acuerdo a los axiomas.