Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Observación. Comparar este problema con el Problema 1 del Taller 2 (18 de marzo de 2022)
y el Problema 1 de la Ayudantı́a 1 (22 de marzo de 2022).
] − ∞, −1[ ] − 1, 1[ ]1, ∞[
x+1 − + +
x−1 − − +
+ − +
] − ∞, −1[∪]1, ∞[.
Problema 2. (50 puntos) Sean p y q proposiciones lógicas. Demuestre que la siguiente proposición
lógica es una tautologı́a.
[(p ∧ q) ⇒ F ] ⇔ (p ⇒ q).
Observación. Comparar este problema con el Problema 3 del Taller 2 (18 de marzo de 2022)
y el Problema 3 de la Ayudantı́a 1 (22 de marzo de 2022).
(p ∧ q) ⇒ F
≡ (p ∧ q) ∨ F
≡ (p ∨ q) ∨ F
≡ p∨q