Ejercicio 4

Problemas de aplicación
A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 4.
Expresión simbólica

Premisas

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

Definir las proposiciones simples
p: Alberto estudia ingeniería electrónica en la UNAD.
q: Alberto cursa tercer semestre académico.
r: Alberto está matriculado en el periodo 16-04.

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

Alberto estudia ingeniería electrónica en la UNAD o Alberto cursa tercer semestre
académico. Alberto no cursa tercer semestre académico. Alberto estudia ingeniería
electrónica en la UNAD entonces Alberto está matriculado en el periodo 16-04. Alberto
cursa tercer semestre académico entonces Alberto está matriculado en el periodo 16-04. Por
lo tanto Alberto estudia ingeniería electrónica en la UNAD y Alberto está matriculado en el
periodo 16-04.
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.

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

P4: p ___________ modus Tollendo ponens (TP) entre p1 y p2

P5: r ___________ simplificación disyuntiva (SD) entre p3 y p4
P6: p ^ r ________ Adjunción (A) entre p4 y p5