1

Universidad Central de Venezuela

Facultad de Ciencias
Escuela de Computacin
Matemtica Discretas 1
Nombre y Apellido: ______________________________ C.I:______________ Seccin:_____
QUIZ Nro. 2
Caracas Abril 24, 2014

1. Simbolice el siguiente razonamiento lgico:

Quien ama apasionadamente acaba siendo desgraciado; quienes no pueden ocultar su pasin mueren prematuramente. Por
lo tanto, si todos aquellos que acaban siendo desgraciados no pueden ocultar su pasin, entonces, todos aquellos que amen
de forma apasionada mueren prematuramente.

(5 pts)

2. Demuestre la validez del siguiente razonamiento:

[x : M (x)] R(b)
[x : P (x)] [x : Q(x)]
M (a) Q(b)
x : M (x) P (x)
[x : P (x) x : R(x)] x : T (x)

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

(5 pts)

3. Demuestre la invalidez del siguiente razonamiento:

x : P (x) Q(x)
x : Q(x)

x : P (x) Q(x)

(5 pts)

4. Sea U={x Z+ : x < 12} y los conjuntos no vacios A,B,C,D,E y H U tales que:
A={0 < x < 5}; B={2, 3, 4, 9, 10, 11}; C=(Ac B) (A B c ); D=C (A4B);E={1,11}
Dena el conjunto H de tal manera que D H E

(5 pts)

SP/UCV/Q2/II-2013/(24Abr2014)