Ejercicio 4 Letra C

A partir de la expresión simbólica seleccionada, el estudiante deberá:

➢ 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= Los estudiantes de la UNAD para ingresar al Campus Virtual deben ingresar al correo
institucional.

q= Los estudiantes deben permanecer con el correo de la universidad abierto.

r= Los estudiantes de Salud Ocupacional reciben las notificaciones de los encuentros sincrónicos
vial e-mail.

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.

( p q)=¿ Los estudiantes de la UNAD para ingresar al Campus Virtual deben ingresar al correo
institucional y los estudiantes no deben permanecer con el correo de la universidad abierto.

(r → q)=¿ Si los estudiantes de Salud Ocupacional reciben las notificaciones de los encuentros
sincrónicos vial e-mail entonces los estudiantes deben permanecer con el correo de la universidad
abierto.

(r v q)=¿ Los estudiantes de Salud Ocupacional reciben las notificaciones de los encuentros
sincrónicos vial e-mail o los estudiantes no deben permanecer con el correo de la universidad
abierto.

( p r)=¿ Los estudiantes de la UNAD para ingresar al Campus Virtual deben ingresar al correo
institucional y los estudiantes de Salud Ocupacional no reciben las notificaciones de los encuentros
sincrónicos vial e-mail.

{( p q )¿ }=¿ Los estudiantes de la UNAD para ingresar al Campus Virtual deben ingresar al correo
institucional y los estudiantes no deben permanecer con el correo de la universidad abierto y si los
estudiantes de Salud Ocupacional reciben las notificaciones de los encuentros sincrónicos vial e-
mail entonces Los estudiantes deben permanecer con el correo de la universidad abierto y los
estudiantes de Salud Ocupacional reciben las notificaciones de los encuentros sincrónicos vial e-
mail o los estudiantes no deben permanecer con el correo de la universidad abierto.

{( p q )¿ } →( p r )=¿ Si los estudiantes de la UNAD para ingresar al Campus Virtual deben

ingresar al correo institucional y los estudiantes no deben permanecer con el correo de la
universidad abierto. Si los estudiantes de Salud Ocupacional reciben las notificaciones de los
encuentros sincrónicos vial e-mail entonces los estudiantes deben permanecer con el correo de la
universidad abierto. Los estudiantes de Salud Ocupacional reciben las notificaciones de los
encuentros sincrónicos vial e-mail o los estudiantes no deben permanecer con el correo de la
universidad abierto. Por lo tanto, los estudiantes de la UNAD para ingresar al Campus Virtual
deben ingresar al correo institucional y los estudiantes de Salud Ocupacional no reciben las
notificaciones de los encuentros sincrónicos vial e-mail.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto
del desarrollo manual).

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del
simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el entorno de
aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad 1- Tarea 1 -
Métodos para probar la validez de argumentos.
El resultado es una tautología porque todas son Verdaderas.

➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

P4: p…………. Modus Tollendo Ponens entre P3 y P5

P5: p r……..Adjuncion entre P1 y P2