Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción

basada en un contexto, el que se solicita es un contexto académico,

p: Yuliana estudia en la UDR Aguachica

q: La UDR Aguachica es del Cesar

r: Yuliana es del Cesar

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Yuliana estudia en la UDR Aguachica entonces Yuliana es del Cesar. Y si Yuliana no

es del Cesar y si la UDR Aguachica es del Cesar. Entonces Yuliana no estudia en la
UDR Aguachica.

Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r ¬p ¬r (p→ r) (¬ r ˄ q) (p→ r) ˄ (¬ r ˄ q) [(p→ r) ˄ (¬ r ˄ q)]→ ¬ p

V V V F F V F F V
V V F F V F V F V
V F V F F V F F V
V F F F V F F F V
F V V V F V F F V
F V F V V V V V V
F F V V F V F F V
F F F V V V F F V
Generar la tabla de verdad a través del simulador Lógica UNAD