FACULTAD DE CIENCIAS - U.C.V.

ESCUELA DE COMPUTACIN
MATEMTICAS DISCRETAS II
SEMESTRE I 2013

NOMBRE:__________________________________
C.I._____________________

SECC:________

PRIMER EXAMEN PARCIAL

NO SE PERMITE USAR CALCULADORA NI DISPOSITIVOS ELECTRNICOS DE NINGN TIPO
1.- Dada la siguiente lista de palabras:
algebraico, algn, antisimtrica, asimtrica, binaria, binomial, biyectiva, booleano, cardinal,
cartesiano, clase, cociente, comparable, complemento, conjugable, conjuncin, conjuntiva, conjunto,
consistente, corriente, corte, cota, creciente, diferente, disjuntiva, ecuacin, elemento, equivalencia,
existe, funcin, igual, inductiva, inferior, nfimo, interior, interna, inyectiva, matriculado, maximal,
mximo, mayor, menor, minimal, mnimo, ningn, nominal, orden, parcial, particin, potencia,
precedente, radical, reflexiva, relacin, reproductiva, reticulado, separable, simtrica, sinttica,
subconjunto, sucesor, superior, supremo, supresor, ternaria, todo, total, transiente, transitiva, unitaria
Complete las siguientes definiciones formales, escribiendo en los espacios solamente palabras de la
lista anterior (puede usar varias veces la misma palabra, bien sea en singular o en plural):
(6 pts)
EJEMPLO: Se dice que A es subconjunto de B si se cumple que para todo elemento x A : x B
a) Sean dos_____________A,B , sea AxB su producto_____________,
se denomina_____________a cualquier_____________S de AxB
b) Sea S una____________, se dice que S es____________si se cumple que
para____________x,y A : (x,y) S (y,x) S
c) Sea S una____________, se dice que S es____________si se cumple que
para____________x,y,z A : (x,y) S ^ (y,z) S (x,z) S
d) Si S es_____________,
_____________,
se dice que S es una_____________de_____________.

_____________

e) Sea S una____________de____________, A|S = { [x] / x A } se denomina _____________

____________de (A,S)
f) Sea S una_____________de_____________en A, se dice que dos_____________x,y A
son_____________si se cumple que (x,y) S v (y,x) S
g) Sea S una_____________de_____________en A, se dice que (A,S) es un_____________
_____________si se cumple que para_____________x,y A : x,y son_____________.
h) Sea S una____________de____________en A, se dice que un_____________a A
es_____________si se cumple que para_____________ x A : (a,x) S
i) Sea S una____________de____________en A, se dice que un_____________a A
es_____________si se cumple que para_____________x A : (x,a) S x=a
j) Sea S una____________de____________en A, y sea B_____________de A, se dice que
un_____________a A es_____________
_____________de B si se cumple que
para_____________x B : (a,x) S
k) Sea S una____________de____________en A, sea B_____________de A , con
C = { x A / x es_____________
_____________de B } se dice que
un_____________a C es_____________de B si se cumple que
para_____________x C : (x,a) S
l) Sea S una____________de____________en A, se dice que (A,S) es____________si se cumple
que para_____________x,y A :
____________
____________de {x,y} ^ ____________
____________de {x,y}

2.- Diga si es verdadero falso c/u de los siguientes enunciados y porqu (justifique su respuesta):
(3 pts)
a) Sea R una relacin de equivalencia definida en A, entonces

RESPUESTA:____(V/F) Porqu?
b) Todo orden total es un reticulado. RESPUESTA:____(V/F)

Porqu?

c) Todo reticulado es un orden total. RESPUESTA:____(V/F)

Porqu?

3.- Sea una relacin definida por R = (x, y) / x2 + y es par , con A = {1,2, 3, 4} conteste los
siguientes enunciados:
a) Demuestre que R es una relacin de equivalencia.

(3 pts)

b) Liste los elementos de R.

(1 pto)

c) Halle la clase de equivalencia de cada elemento de A y el conjunto cociente.

(1 pto)

4.- Para cada uno de los siguientes conjuntos parcialmente ordenados representados por los
siguientes diagramas de Hasse:
a) Indique sobre cada figura los maximales, minimales, mximos y mnimos.

(2 pts)

b) Halle cotas superiores e inferiores, supremo e nfimo del subconjunto B={e,f,g}

(2 pts)

RESPUESTA:

Para Figura 1

Para Figura 2

CS(B)={____________}

CS(B)={____________}

CI(B)={____________}

CI(B)={____________}

Supremo(B)=_____

Supremo(B)=_____

Infimo(B)=_____

Infimo(B)=_____

c) Indique en cada caso si es ( no) un reticulado por qu? (justifique formalmente).

RESPUESTA:

Figura 1____(S/No)

(2 pts)

Figura 2____(S/No)

AB/AN/JP-May.2013