Ejercicio 3: Problemas de aplicación

A. [ p →(q ⋀ r )]

1. 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 :milena estudia psicoligia

q : psicologia es una carrera de laUNAD
r :la UNAD es una universidad virtual

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

natural. Las proposiciones simples deben ser de autoría de cada estudiante.

milena no estudia psicologíaentonces psicologíaes una carrera de laUNAD y la UNAD

es unauniversidad virtual.

3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico.
 4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

p q r ~p q^r [~p→(q ⋀ r)]

v v v f v v
v v f f f v
v f v f f v
v f f f f v
f v v v v v
f v f v f f
f f v v f f
f f f v f f

5. Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia
 El resultado de los datos nos da que es una contingencia