CORPORACIÓN UNIVERSITARIA DEL CARIBE

CECAR
Departamento de Ciencias Básicas
Lógica 2S-2022 Corte 1
Profesor: Larry Castrillón-Mendoza MSc.
Tarea
Duración:90 minutos Fecha: 20 de octubre de 2022

1. Sean A : “Estoy feliz” B : “Estoy viendo una pelı́cula” y C : “Estoy comiendo pizza”. Transcribe las siguientes frases en
afirmaciones del cálculo proposicional.
(a) C ⇒ A
(b) A ⇔ B
(c) (B ∨ C) ⇒ A
(d) B ∨ (C ⇒ A)
(e) (B ⇒ ¬A) ∨ (C ⇒ ¬A)
(f) (A ∨ ¬B) ⇔ (B ∨ C)
2. Sea X : “El guason tiene el pelo verde”, Y : “El guason tiene la cara blanca” y X : Z :“Al guasón le gusta comer cocos”.
Transcriba las siguientes frases en afirmaciones del cálculo proposicional.
(a) Al guasón no le gusta comer cocos
(b) El guasón tiene el pelo verde y no tiene la cara blanca
(c) El guasón tiene el pelo verde o a el
(d) El guasón le gusta comer cocos y tiene el pelo verde o tiene la cara blanca
(e) No es el caso que el guasón tenga la cara blanca o el pelo verde
(f) El guasón tiene la cara blanca y el pelo verde o tiene la cara blanca y le gusta comer cocos