FACULTAD DE MATEMÁTICAS.

LICENCIATURA EN ACTUARÍA.
ACTIVIDAD DE APRENDIZAJE 1 LÓGICA PROPOSICIONAL.
Instrucciones: Realiza lo que se te indica. De las primeras cuatro secciones se entregaran dos y
sólo dos ejercicios, escriban sus respuestas de manera clara y justifiquen matemáticamente cada
una de sus respuestas. Cada ejercicio tiene un valor de 2 puntos. Valor de la actividad 10 puntos.
Fecha de entrega 26 de octubre de 2020.

Integrantes del equipo:

(1) Usando tablas de verdad, muestre que las siguientes implicaciones son tautologı́as.
(a) (p ∧ q) ⇒ p.
(b) p ⇒ (p ∨ q).
(c) ¬p ⇒ (p ⇒ q).
(d) (p ∧ q) ⇒ (p ⇒ q).
(2) Sin usar tablas de verdad demuestre cada una de las siguientes proposiciones.
a) [−(p ∨ (−p ∧ q))] ⇔ [−p ∧ −q]
b) [−p ⇔ q] ⇔ [p ⇔ −q]
c) [(p ⇒ q) ∧ (p ⇒ r)] ⇔ [p ⇒ (q ∧ r)]
d) [−p ⇒ (q ⇒ r)] ⇔ [q ⇒ (p ∨ r)]
(3) Sea el operador lógico p | q ≡ −(p ∧ q). Utilizando únicamente el conectivo | (es decir, no
debe aparecer en sus respuestas ningún otro conectivo: negación, conjunción, disyunción,
implicación, doble implicación) determine proposiciones equivalentes a las siguientes:
(a) −p
(b) p∨q
(c) p⇒q
(d) p∧q
(4) Determinar el valor de verdad de cada una de las siguientes proposiciones (se toma como
conjunto de referencia el de los números naturales):
(1) (∀x)(∃y)(x + y ≤ xy).
(2) (∀x)(∃y)(x < y 2 < (x + 1)2 ).
(3) (∃x)(∀y)(x + y es múltiplo de x).
(4) (∃x)(∀y)(x + y es múltiplo de y).
(5) ¿Dé cuantas formas las disyunciones p ∨ −q , −p ∨ q , q ∨ r , q ∨ −r , −q ∨ −r se pueden
hacer verdaderas simultaneamente mediante la asignacion de valores de verdad a p,q y r?