Ejercicio 3: Problemas de aplicación

( p ∧q ) → ( r ⋀ s )

Definir las proposiciones simples

P: Diana es egresada de colegio semipresencial

q: La UNAD recibe estudiantes de colegios semipresencial

r: Diana quiere ingresar a la UNAD

s: Diana es admitida como estudiante de la UNAD.

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

Diana es egresada de colegio semipresencial y la UNAD recibe estudiantes de colegios

semipresenciales entonces, quiere ingresar a la UNAD y ella es admitida como estudiante

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

p q r s (pɅq) (rɅs) [(pɅq)→(rɅs)]

V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V V
F F V F F F V
F F F V F F V
F F F F F F V

 El resultado del argumento es contingencia, ya que tiene verdadero y falso

REFERENCIAS:

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. Recuperado de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924

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

28). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106-

112). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=109&docID=3199701&tm=1529510366591

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones, [Vídeo].

Recuperado de http://hdl.handle.net/10596/7961

actividades propuestas en la Guía Integrada de Actividades del curso.

Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/13871