INGENIERA DE SOFTWARE

MATEMTICAS DISCRETAS Evaluacin del Primer Parcial

Contesta el examen sobre este archivo, slo que las respuestas hay que indicarlas con color azul.

1. Sean p: Es rico, q: Es feliz, escribe cada proposicin con su frmula lgica empleando las
(6 puntos)
variables lgicas p y q.
a) Si es rico, entonces no es feliz.
b) Es feliz, si y solo si, no es rico.
c) Ser pobre es no ser feliz.

2. Considera las siguientes variables para escribir la proposicin que resulta en base a cada
(6 puntos)
frmula lgica.
p: Hace fro
q: Est lloviendo
a) p q
b) q p
c) p q

3. (6 puntos) Realiza
lo siguiente:
a) Construye la tabla de verdad para p q
b) Con los resultados de la tabla de verdad, indica si la proposicin es una tautologa, contradiccin
o contingencia y el motivo de tu respuesta.

4. Comprueba que la proposicin (p q) ( p q) es o no es una contradiccin (debes

(10 puntos)
elaborar la tabla lgica completa).

5. (8 puntos) Construye la tabla de verdad para ( ( p q ) p ) p

6. Demuestra, desarrollando el mtodo de Induccin Matemtica, que la siguiente proposicin

(4 puntos)
se cumple para cualquier nmero natural: 5 + 9 + 13 ++ 4n + 1 = n(2n + 3)