I PRCTICA CALIFICADA DE MATEMTICA DISCRETA (MA-142)

E.F.P:

INGENIERA SISTEMAS

Fecha: 30 de abril de 2013

Apellidos y Nombres:

NOTA:

Firma:

Cdigo:

Nro:

INSTRUCCIONES:

Llene todos los datos con lapicero, firme solo en la segunda lnea, el casillero correspondiente al N de orden se llena de acuerdo a hoja de asistencia.
Apague su telfono celular, caso contrario se anulara su examen.
Cualquier intento de copia ser calificado con CERO. Est prohibido consultar libros y/o copias.
El examen tiene una duracin de 02 horas, y su puntuacin es de 20 puntos.

1. Formaliza los siguientes argumentos, indicando qu enunciado simple

corresponde a cada variable que uses, y escribindolos en forma condicional con
la conclusin como consecuente. Halla las tablas de verdad de los argumentos
que tengan hasta cuatro variables.
a) Si la tormenta contina o anochece, nos quedaremos a cenar o a dormir. Si nos
quedamos a cenar o a dormir, no iremos maana al concierto. Pero s iremos
maana al concierto. As pues, la tormenta no contina.
b) Si no es cierto que se puede ser rico y dichoso a la vez, entonces la vida est llena
de frustraciones y no es un camino de rosas.Si se es feliz, no se puede tener todo.
Por consiguiente, la vida est llena de frustraciones.
c) Habr inflacin, a menos que se moderen los precios y los salarios. Siempre que
se moderan los salarios pero no los precios, si el Gobierno no interviene ocurre
que el consumo interno disminuye y la economa se ralentiza. Por tanto, cuando
no se moderan los precios, es necesario que el Gobierno intervenga para que la
economa no se ralentice.
d) Si el euro est fuerte, el petrleo est barato pero las exportaciones resultan
caras. Si Europa se endeuda o la economa no crece, el petrleo no estar
barato. La economa crece si y slo si ni las exportaciones resultan caras ni la
inflacin aumenta. Por tanto, si la inflacin aumenta, el euro no est fuerte.
e) La vida no tiene cosas as de fuertes o yo te puedo contar cmo es una llama por
dentro. Si yo te puedo contar cmo es una llama por dentro, entonces pienso
entregarte mi tiempo y pienso entregarte mi fe. No es cierto que piense entregarte mi
tiempo y piense entregarte mi fe. Por lo tanto, la vida no tiene cosas as de fuertes.
2.

Se define los conectivos # y * mediante:

p q= p q
pq= p q

( q)
simplificar T =[ ( p )q ] [ p ]

3.

Empleando las leyes lgicas simplificar el siguiente esquema molecular:

[( p q) p ] [q ( p q)]
4.

Determine si el siguiente esquema molecular es una inferencia lgica valida(empleando las

leyes lgicas)

[ [ p ( q r ) ] [ q r ] ] p

5.

Empleando las leyes lgicas simplificar el siguiente esquema molecular:

p(q r )

p(q r )