Facultad de Ingeniería, Universidad de Cuencua.

Matemáticas Discretas

Primer Examen Parcial 11 Abril de 2014

Nombre:

I. Teoría de Conjuntos.
Sean A, B y C subconjuntos de un conjunto universal X.

1-. Elabora un diagrama de Venn de las relaciones que se te presentan a continuación.

Ejemplo: ( Ac )c
X

a) ( A∪B)−Bc b) ( Ac ∪C c ) c

c) (C− A)c d) (Bc ∩B) c

2.- Demuestra las siguientes relaciones.

a) A−B=A∩Bc .

b) Si A∩B⊂B ⇒ B c ⊂( A∩B)c , en otras palabras ( A∩B)c ⊃Bc .

Prof. Pedro Corona Romero 1/3

Facultad de Ingeniería, Universidad de Cuencua. Matemáticas Discretas

c)Si A⊂C y C⊂B entonces A⊂B .

3-. Simplifica las siguientes expresiones de conjuntos empleando las operaciones -y sus
propiedades- vistas en clase. De ser necesario, prueba tus resultados.
Ejemplo: (( B∪A )∩C)c =(B∪ A)c ∪Bc =(B c ∩A c )∪Bc =(Bc ∩B c )∪(A c ∩Bc )=B c ∪( A c ∩Bc )=B c

a) (( B∩A )∩C)c =

b) A−( B∪C c )=

II. Introducción al razonamiento

1.- Resuelve los siguientes silogismos. Para resolverlos deberás elaborar el diagrama de conjuntos
asociado al silogismo. También deberás de distinguir los silogismos correctos y los verdaderos. De
no ser verdadero, deberás señalar en dónde falla.
Ejemplo: Med. Trans.
Todas las bicicletas son medios de transporte.
Algunas bicicletas son fijas. bicicletas
Por lo tanto, algunos medios de transporte son fijos. fijas

Error! No todas las bicicletas son medio de transportes.

Contra ejemplo: las bicicletas para ejercitarse.

Tip: Primero encuentra el universo, los conjuntos del universo y si

están presentes, los subconjuntos y elementos de dichos conjuntos.

a) Ningún piloto es sobre cargo.

Todos los pasajeros son sobre cargos.

Prof. Pedro Corona Romero 2/3

Facultad de Ingeniería, Universidad de Cuencua. Matemáticas Discretas

b) Todos los entes vivos que no son animales, son vegetales.

Las bacterias sin núcleo y los hongos no son animales.

c) Ningún apicultor es cheff.

Algunos cuencanos son apicultores.

d) Todas las ciudades tienen personas.

Algunos personas son niños.

Puntos extra.

Demuestra que:

1) Si C⊂A ⇒ A−( B−C )=( A−B)∪C

2) A−( B∪C )=( A−B)−C

Prof. Pedro Corona Romero 3/3