Universidad Central de Venezuela Nombre y Apellido:

Facultad de Ciencias
Matematicas Discretas I C.I.: Seccion:
2 de Mayo de 2014

Parcial II
(Justifique claramente cada una de sus respuestas)

1. Simbolice los siguientes enunciados: (3 puntos)

a) Todo equipo clasificado al mundial de futbol desea ganarlo. Ningun equipo que desea ganar
el mundial tiene mala defensa. Por lo tanto, los equipos clasificados al mundial tienen buena
defensa.

b) Toda ciudad del imperio romano tiene un camino que lleva a Roma.

2. Demuestre las siguientes leyes de equivalencia e implicacion logica: (4 puntos)

a) x U : [P (j) Q(x)] P (j) x U : Q(x)

b) x U : [P (x) Q(x)] x U : P (x) x U : Q(x) (Sugerencia: use reduccion al

absurdo).

3. Demuestre la validez del siguiente argumento logico: (5 puntos)

[x U : P (x) Q(x) T (x)]

x U : P (x) R(x)
x U : R(x) T (x) [S(x) Q(x)]
x U : Q(x) L(x)

x U : S(x) x U : L(x)

4. Verifique la invalidez del siguiente argumento en un universo de dos elementos: (3 puntos)

x U : M (x) A(x)
[x U : A(x) R(x)]

x U : M (x) R(x)

1
5. Considere el universo U = {0 x 10} y los conjuntos Ac = {10}, B = {1 x 10} y C = {5}.
(5 puntos)

a) Para el caso en que x Z, calcule (A 4 B) C y el conjunto de sus partes. Indique la cardina-

lidad de este ultimo.

b) Si ahora asume que x R, re-calcule (A 4 B) C y use la Ley de Morgan para encontrar

(A 4 B) C.

EXITO!

OR/AN/IM/FS/FC/UCV/MDI/P2/II-2013/(2May2014)