Ejercicio 3

3. [( p ⋁ q)⟷ r ]
A partir de la proposición compuesta en lenguaje simbólico que haya
seleccionado 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: Deduard Sierra referencia correctamente toda investigación que realiza

para el trabajo
q: Sus actividades tendrán plagio
r: referencias sus actividades logrando no tener plagio

 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 considerará como copia y se tomarán las medidas correctivas
estipuladas por la UNAD.

Respuesta:

Deduard referencia correctamente toda investigación que realiza para el

trabajo o sus actividades tendrán plagio, si y solo si referencias sus
actividades logrando no tener plagio

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje
Práctico, así como el enlace de acceso al recurso).
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico
(En Word, Excel o foto del desarrollo manual).

p q
v v
v v
v f
v f
f v
f v
f f
f f
r [( p ⋁ q)⟷ r ]
v v
f f
v v
f f
v v
f f
v f
f v

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

contradicción o contingencia.

Resultado de la tabla de verdad es: Contingencia.

 Referencias
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid.

Jairo Marin. [Jairo Marin]. (2019). [Simulador Truth]. Recuperado de:

http://logicaunad.com/jtruth/
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y
fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos.
(pp. 19-28). Madrid, España: Editorial Tébar Flores.