UNIVERSIDAD DE CARTAGENA

FACULTAD DE EDUCACION ABIERTA Y A DISTANCIA

PROGRAMA: INGENIERIA DE SISTEMAS
ASIGNATURA: MATEMATICA BASICA SEMESTRE: I
AO: 2015
TRABAJO N 2

OBJETIVO: Aplicar la teora tratada en el curso para afianzarla y profundizar en ella

Nota importante: Una expresin A es lgicamente equivalente a otra B, si se cumple que
A B es una tautologa.
1: Mediante tablas de verdad comprobar las siguientes propiedades.
1.1: Distributiva, esto es, (P Q) R = (P R) ( Q R)
1.2. Ley de De Morga, esto es, ( P Q) = P Q
1.3. Ley de De Morgan, esto es, ( P Q = P Q
1.4 Idempotencia, esto es,

a) P P = P

b) P

P=P

2: Con proposiciones adecuadas, convierte cada expresin simblica en proposiciones

gramaticales.
p p q
p q
p q p
p
2.1
2.2
2.3
2.4
3: Determina en cada caso el valor de verdad de las siguientes proposiciones
3 + 2 = 5 y 4 + 4 = 8
16 = 4
3.1:
3.2

16 = - 4

4: Determina en cada caso si las siguientes proposiciones son tautologa, contradiccin o

incertidumbre.
P
4.1 ( Q R)
4.2. x 3 ( x y x 3
5: Simboliza cada una de las siguientes proposiciones.
5.1: Si no hay ruidos y no ests sordo, debes orme perfectamente
5.2: Cuando la bolsa de valores baja mucho, es conveniente comprar; y cuando la bolsa
sube mucho, tambin es conveniente comprar.
5.3: Si el aumento de la inflacin implica la disminucin de la balanza de pagos, entonces, si
no disminuye la balanza de pagos no aumenta la inflacin.
5.4: Dejar de beber cuando suba el alcohol, pero voy a dejar de fumar, tanto si sube el
tabaco como si no.
5.5: Si no sabes ingls ni francs, te contrato en mi empresa si, y slo si, sabes informtica o
contabilidad.

OBSERVACION: Este trabajo debe ser enviado a mi correo el da Mircoles 25 de

Noviembre de 2015

CORREO: arrietavivero@gmail.com