UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

CURSO

CURSO: LOGICA MATEMATICA

EJERCICIO 1
UNIDAD 1

ESTUDIANTE:
DEYBERDARIO RAMIREZ ORTEGA
COD: 1085308153

TUTOR DE CURSO:
LUIS ENRRIQUE LEIVA

PUERTO GUZMAN
PUTUMAYO
1 OCTUBRE 2020
Ejercicio 1: Proposiciones y tablas de verdad

C. Proposición compuesta en leguaje natural (~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)

Que se lee si (~𝑝 ↔ 𝑞), entonces (~𝑞 ∨ 𝑟)
~𝑝: Los estudiantes de la UNAD no entregan sus actividades a través
de la plataforma y q: Algunos estudiantes de la UNAD estudian Administración Financiera

(~𝑝 ↔ 𝑞) si Los estudiantes de la UNAD no entregan sus actividades a través de la

plataforma, solo Algunos estudiantes de la UNAD estudian Administración Financiera

~𝑞: Algunos estudiantes de la UNAD no estudian Administración Financiera y 𝑟: Los

estudiantes hacen uso del correo personal para entregar las actividades

(~𝑞 ∨ 𝑟) Algunos estudiantes de la UNAD no estudian Administración Financiera o Los

estudiantes hacen uso del correo personal para entregar las actividades

-Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si
el resultado es una tautología, contingencia o contradicción.
Resultado: es una tabla de contingencia.

Tabla de verdad Simulador UNAD

p q r (~p↔q)→(~q∨r)
v v v V
v v f V
v f v V
v f f V
f v v V
f v f F
f f v V