Ejercicio 3: problemas de aplicación

C. [(𝑝 → 𝑞) ⟷ 𝑟]

Lenguaje natural: los alumnos estudiaran en el aula de informática si están completos entonces
serán evaluados.

P: los alumnos estudiaran en el aula de informática

Q: están completos

R: serán evaluados

Simulador UNAD
 Tabla manual

p q r ((p→q)↔r)
v v v V
v v f F
v f v F
v f f V
f v v V
f v f F
f f v V
f f f F

Resultado de la tabla es: contradicción

Referencias bibliográficas
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid.
Recuperado dehttps://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12

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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=109