Tema 1

Autor: Antonio Rivero Cuesta, Tutor C.A. Palma de Mallorca

1.1

Si q es falsa, entonces ( p ) q es:

a) Verdadera.
b) Falsa.
c) Verdadera o falsa, segn el valor de verdad de p.

Solucin: La respuesta correcta es la a.

p

(p) q

1.2

Si p es falsa, entonces ( p ) q es
a) Verdadera.
b) Falsa.
c) Verdadera o falsa, segn el valor de verdad de q.

Solucin: La respuesta correcta es la c.

(p) q

1.3

Si q es verdadera, entonces ( p q ) es
a) Verdadera.
b) Falsa.
c) Verdadera o falsa, segn el valor de verdad de p.

Solucin: La respuesta correcta es la b.

(p q)

(p q)

1.4

Si p es verdadera, entonces ( q p ) ( p q ) es
a) Verdadera.
b) Falsa.
c) Verdadera o falsa, segn el valor de verdad de q.

Solucin: La respuesta correcta es la c.

(q p)

(p q)

(q p) (p q)

La proposicin (pp) es:

1.5

a) Verdadera.
b) Falsa
c)

Verdadera o falsa, segn el valor de verdad de p.

pp

(pp)

1.6

pq es falsa cuando:

a) p es falsa y q es falsa.
b) p es verdadera y q es falsa.
c)

p es falsa y q es verdadera.

pq

Si p es verdadera, la proposicin (p) q es:

1.7

a) Verdadera.
b) Falsa
c)

Verdadera o falsa, segn el valor de verdad de q.

(p) q

1.8

Si p es verdadera, la proposicin p ( p q ) es

a) Verdadera.
b) Falsa
c) Verdadera o falsa, segn el valor de verdad de q.

pq

p (pq)

1.9

Si p es falsa, la proposicin (pq) ( pq) es

a) Verdadera.
b) Falsa.
c) Verdadera o falsa, segn el valor de verdad de q.
Por lo tanto respuesta c, ya el valor de verdad depende de q.

pq

pq

(pq) ( pq)

1.10 Si p es verdadera, la proposicin ( p q ) p es

a) Verdadera.
b) Falsa
c) Verdadera o falsa, segn el valor de verdad de q.

pq

(pq) p

1.11 La proposicin p p es

a) Es verdadera si p es falsa.
b) Es verdadera si p es verdadera.
c) Es siempre falsa.
p

p p

1.12 La proposicin (pq) ( pq) es verdadera

a) Slo cuando p y q son verdaderas.

b) Slo cuando p y q son falsas.
c) Siempre.

pq

pq

(pq) ( pq)

1.13 Si p(qp) es una proposicin falsa, es que:

a) p y q son verdaderas.
b) p es verdadera y q es falsa.
c)

p es falsa y q verdadera.

(qp)

p(qp)

1.14 Si p (qp) es una proposicin verdadera, entonces:

a) p y q son verdaderas.
b) p es verdadera y q es falsa.
c)

p es verdadera.

(qp)

p (qp)

1.15 La proposicin p (qp) es una proposicin verdadera:

a) Slo si p y q son falsas.
b) Slo si p es falsa y q verdadera.
c)

Cualquiera que sean p y q.

(qp)

p (qp)

1.16 El razonamiento:

p
p

a) Es una falacia.
b) Es lgicamente vlido.
c) Es lgicamente vlido o falaz segn el valor de verdad de q.

p p

( p p)q

Como no tenemos ningn valor que nos haga falso este razonamiento se deduce que es verdadero.

Premisas

Conclusin

1.17 Si A y B son conjuntos tales que A B , es cierto que

a) Si x A , entonces x B .
b) Si x B , entonces x A .
c) Si x A , entonces x B .

1.18 Si M y N son conjuntos tales que N M , es cierto que

a) Si a M , entonces a N .
b) Si a M , entonces a N .
c) Si a N , entonces a M .

1.19 Para cualquier conjunto A se verifica

a) A .
b) A .
c) A A .
1.20 Si un conjunto A tiene 6 elementos, el nmero de subconjuntos de A es
a) 6.
b) 16.
c) 64.
Si el conjunto A tiene n elementos, el conjunto de las partes de A tiene 2n elementos.
1.21 Si A y B son dos conjuntos disjuntos, no es correcto afirmar que
a) Si a A , entonces a B .
b) Si a B , entonces a AC .
c) Si a A , entonces a B .

1.22 Dados dos conjuntos A y B, NO es correcto afirmar que:

a) si x A B , entonces x A B C o x AC B .
b) si x A B , entonces x A o x B .
c) si x A B y x A , entonces x B .
I
U

1.23 Si dos conjuntos A y B verifican AC B C = , es que

a) A B .
b) A B = U .
c) ( AC B ) ( A B C ) = U
Aplicando las leyes de Morgan obtenemos:
AC B C =

(A
(A

BC = )

B C ) = C

A B =U

A = {1, 2}

B = {2, 3}

U = {1, 2,3}

AC BC =

{3} {1} =

AC = {3}
B C = {1}

A B =U

{1, 2} {2, 3} = U

1.24 Si dos conjuntos A y B cumplen A B , entonces

a) A B C = U .
b) B A = .
c) B C AC .
La respuesta correcta es la c, como se puede ver BC, que es la zona verde, est incluido dentro de AC que es
la zona verde ms la zona amarilla.
La respuesta b no es correcta ya que B A no tiene porque ser necesariamente el conjunto vaco.
La respuesta a no es correcta porque A B C no es igual al universo ya que nos queda la zona amarilla sin
incluir y puede darse el caso que hubiese al menos un elemento ah.

AC = {3, 4,5}

A = {1, 2}

B C = {4,5}

B = {1, 2,3}

U = {1, 2,3, 4,5}

Se cumple

NO se cumple

NO se cumple

B C AC

A BC = U

B A=

{4,5} {3, 4,5}

{1, 2} {4,5} = {1, 2, 4,5}

{1, 2, 3} {1, 2} = {3}

1.25 Si dos conjuntos A y B cumplen A B C , no es correcto afirmar que

a) A B = .
b) A B = U .
c) B AC .
Si A B C o B AC quiere decir que son conjuntos disjuntos A B = , en el diagrama de Venn vemos
que A, la zona roja est dentro de BC que es la zona roja ms la zona verde.

A = {4}

B = {1, 2}

U = {1, 2,3, 4,5}

AC = {1, 2,3,5}
B C = {3, 4,5}

Se cumple

NO se cumple

Se cumple

A B =

A B =U

{1, 2} {4} =

{4} {1, 2} = {1, 2, 4}

B AC =

{1, 2} {1, 2,3,5} = {3}

3
4
5

1
2

1.26 Si A y B son dos conjuntos tales que A B = B , se cumple

a) A B .
b) B A = A .
c) AC B C = .
Resultado 1.21, pgina 35
Si A B entonces A B = B , Si A es un subconjunto de B, todos los elementos de A estn en B, por esto
la unin de los dos es B.

A B = B

{1} {1, 2} = {1, 2}

A = {1}

B = {1, 2}

U = {1, 2,3}

AC = {2,3}
B C = {3}

Se cumple

NO se cumple

NO se cumple

A B

B A= A

{1} {1, 2}

{1, 2} {1} = {1, 2}

AC B C =

{2,3} {3} = {3}

2
A

1.27 Si A y B son dos conjuntos, ( A B ) es igual a

C

a) AC B C .
b) AC B .
c) B A .
Aplicando las leyes de Morgan obtenemos:

( A B)

( A B )

C C

AC B

( A B)
( A B)

Es la zona roja.
C

Es la zona amarilla ms la zona blanca ms la zona verde, que es igual a AC B .

AC

Es la zona amarilla ms la zona verde.

Es la zona amarilla ms la zona blanca.

AC B

Es la zona amarilla ms la zona blanca ms la zona verde, que es igual a ( A B )

1
2

A = {2, 3}

B = {1, 3}

U = {1, 2,3}

AC = {1}

( A B)

B C = {2}

AC B = {1, 3}

= {1, 3}

1.28 Si A y B son dos conjuntos que cumplen A BC = B entonces:

a) A = B = U .
b) A B C .
c) B AC
Resultado 1.20, pgina 34. La unin de dos conjuntos contiene a cualquiera de los dos conjuntos que se
unen:
El enunciado dice A B C = B
Por lo tanto tenemos que B C A B C y A A B C
Tenemos B C A B C = B y para que esta igualdad se cumpla B C = o bien B = U .
Resultado 1.22 C = U El complementario del conjunto vaco es el conjunto universal. Como el conjunto
vaco no tiene elementos, ningn elemento del conjunto universal puede pertenecer al conjunto vaco.
Resultado 1.23 U C = El complementario del conjunto universal es el conjunto vaco. Como todos los
elementos pertenecen al conjunto universal, ningn elemento no pertenece al universal.
Si sustituimos en la igualdad B C A B C = B a B C = tenemos:
A = B
A= B
A =U

Si sustituimos en la igualdad B C A B C = B a B C = U llegamos a una contradiccin, ya que el conjunto

universal no puede ser igual al conjunto vaco.
U A U =
U A=
U U =
A = {1, 2}

B = {1, 2}

U = {1, 2}

AC =

A BC = B

BC =

{1, 2} = {1, 2}

1.29 Si A y B son dos conjuntos que cumplen ( A B ) = B entonces:

C

a) A B =
b) B C A
c) A = B C

( A B) = B
( A B ) = BC
C

A BC = B C
BC A
Resultado 1.13 pgina 33.
Si B C A , entonces A BC = B C . Si BC es un subconjunto de A todos los elementos de BC y slo estos
son comunes a A y BC.
Resultado 1.20, pgina 34.
La unin de dos conjuntos contiene a cualquiera de los dos conjuntos que se unen:
A A B

( A B)

B A B

=B

( A B )

C C

=B

AC B = B
AC B = AC B
AC B

A = {1, 2}

B = {2, 3}

U = {1, 2,3}

AC = {3}

( A B) = B
{2, 3} = {2,3}
C

B C = {1}

( A B)

= {2, 3}

1.30 Si A y B son dos conjuntos tales que ( A B ) = A , se cumple

C

a) B A .
b) A = U .
c) A = y B = U .
Resultado 1.13 pgina 33.
La interseccin de dos conjuntos est contenida en cualquiera de los conjuntos que se intersectan.
A B A

( A B)

A B B

= A Aplicamos las leyes de Morgan:

AC BC = A
Por lo tanto tenemos que AC BC AC y AC BC BC
Continuamos AC BC = A AC
Y como A AC necesariamente A =
A=

AC = {1, 2,3}

B = {1, 2, 3}

( A B)

B =

=A

U = {1, 2,3}

3
1
2

1.31 Si dos conjuntos A y B son dos conjuntos tales que ( A B ) B , se cumple

C

a) A = B = U .
b) B = U .
c) A B = .

Resultado 1.13 pgina 33.

La interseccin de dos conjuntos est contenida en cualquiera de los conjuntos que se intersectan
A B A

( A B)

A B B

B que es equivalente a:

BC A B
BC A B B
BC B
Y como B C B necesariamente B C =

A = {1, 2,3}

AC = {3, 4}

B = {1, 2,3, 4} B C = {4}

U = {1, 2,3, 4}

( A B)
{4} B

A
1
2
3

1.32 Si A y B son dos conjuntos, el conjunto ( AC BC ) es igual a

C

a) A B C .
b) AC B .
c) A B .

Tenemos la igualdad:

(A

BC )

AC ( B C )

(A

B)

C C

A BC

A = {1, 2}

B = {1, 2,3}

U = {1, 2,3, 4}

AC B C = {3}

AC = {3, 4}

(A

B C = {4}

B C ) = {1, 2, 4}
C

A BC = {1, 2, 4}

U
4

A
1
2

1.33 Si A y B son dos conjuntos, el conjunto A ( B AC ) es igual a

a) B A .
b) A B .
c) B .

Tenemos la igualdad:
A ( B AC )

( A B ) ( A AC )
( A B)
( A B)
A = {1, 2,3}

B = {1, 2, 4}

U = {1, 2,3, 4}

( B A ) = {1, 2, 4}
A ( B A ) = {1, 2}

AC = {4}

B C = {3}

A B = {1, 2}

A
3

1
2

1.34 Si A y B son dos conjuntos, el conjunto ( AC B C ) A es igual a

a) AC B .
b) A .
c) A B .

Tenemos la igualdad:

(A
(A

BC ) A

(B

A)

C
C

A) ( BC A)

( BC A)
C

A B

Si partimos de la expresin ( AC B C ) A tenemos que:

AC es la zona amarilla y la zona verde
BC es la zona roja y la zona verde
Si ahora estas dos zonas hacemos la interseccin con A, el resultado ser A B.

A-B

1.35 Si A y B son dos conjuntos el conjunto A ( B C A ) es igual a

a) A .
b) A B C .
c) A B .
Si partimos de la expresin A ( BC A ) tenemos que:
A es la zona blanca y la zona roja
BC es la zona roja y la zona verde
B C A es la zona roja, es decir A B
Si ahora estas dos zonas hacemos la unin con A, que es la zona blanca ms la zona roja, el resultado ser
A.

1
4

A = {1, 2}

B = {1, 2,3}

U = {1, 2,3, 4}

AC = {3, 4}
B C = {4}

a ) A ( B C A ) = {1, 2} ({4} {1, 2}) = {1, 2} = {1, 2} = A

b) A B C = {1, 2, 4}
c) A B = {1}

1.36 Si A y B son dos conjuntos que cumplen B A = B entonces:

a) A =
b) A B = A
c) A B = B
Cuando tenemos B A = B o A B = A , quiere decir que son conjuntos disjuntos A B = .
Tenemos que utilizar el Resultado 1.14 pgina 33.
Si B est contenido en A, entonces la interseccin de A y B es igual a B, Si B A entonces A B = B .

B A= B
B AC = B
B AC

B AC es lo mismo que A B C y es igual a A BC = A y resulta A B = A

La nica respuesta correcta es la que se deduce lgicamente del enunciado, es decir, aquella para la que se
verifica que el enunciado implica dicha respuesta.
Dicho de otra forma, la proposicin condicional enunciado respuesta es una tautologa.

A = {3, 4}

B = {1, 2}

U = {1, 2,3, 4}

AC = {1, 2}
B C = {3, 4}

NO se cumple

Se cumple

NO se cumple

A=

A B = A

A B = B

{3, 4}

{3, 4} {1, 2} = {3, 4}

{3, 4} {1, 2} = {1, 2,3, 4}

1
4

1.37 La propiedad de idempotencia de la interseccin de conjuntos significa que, para cualquier conjunto
A, es
a) A = .
b) A U = A .
c) A A = A .
La propiedad de idempotencia de la interseccin es: A A = A
1.38 La propiedad de asociativa de la interseccin de conjuntos afirma que
a) A B = B A .
b) A ( B C ) = ( A B ) C .
c) A B B .
La propiedad de asociativa de la interseccin es: A ( B C ) = ( A B ) C

1.39 La propiedad de conmutativa de la unin de conjuntos garantiza que

a) A B = B A .
b) A ( B C ) = ( A B ) C .
c) A A = A .
La propiedad de conmutativa de la unin es: A B = B A .
1.40 La propiedad de distributiva de la unin respecto de la interseccin expresa que
a) A ( B C ) = ( A B ) ( A C ) .

b) A ( B C ) = ( A B ) ( A C ) .
c) A ( B C ) = ( A B ) ( A C ) .
La propiedad de distributiva de la unin respecto de la interseccin es: A ( B C ) = ( A B ) ( A C ) .

1.41 Entre tres conjuntos A, B, C, si se cumple A ( B C ) = ( A B ) ( A C )

a) A y B C son disjuntos.
b) B C A B C .
c) A B C y A ( B C ) = 0 .
Resultado 1.13 pgina 33. La interseccin de dos conjuntos est contenida en cualquiera de los conjuntos
que se intersectan. A B A , A B B .
Resultado 1.20, pgina 34. La unin de dos conjuntos contiene a cualquiera de los dos conjuntos que se
unen. A A B , B A B .

El enunciado dice que: A ( B C ) = ( A B ) ( A C )

Si miramos el lado derecho vemos que: ( A B ) ( A C ) = A ( B C ) , de aqu deducimos que:

A ( B C ) = A ( B C ) de aqu deducimos segn el resultado 1.13 del libro que:

A ( B C ) A y como A ( B C ) = A ( B C ) entonces A ( B C ) A , por lo tanto ( B C ) A
Por otro lado segn el resultado 1.13 del libro tambin tenemos que: A ( B C ) ( B C ) y como

A ( B C ) = A ( B C ) de aqu deducimos que A ( B C ) ( B C ) , segn el resultado 1.20

tenemos A ( B C )

1.42 Las leyes de Morgan no garantizan que

a)
b)
c)

( A B ) = AC BC .
C
( A B ) = AC BC .
C
( A B ) = AC BC .
C

Las leyes de Morgan no garantizan ( A B ) = AC B C .

C

1.43 Si dos conjuntos A y B verifican ( A B ) = AC B C se cumple

C

a) A = B .
b) A B = U .
c) A = B = U .

Tenemos la igualdad:

( A B)

(A

= ( AC BC )

B C ) = ( AC B C )

A= B

A = {1, 2}

B = {1, 2}

U = {1, 2,3}

AC = {3}
B C = {3}

a ) ( A B ) = ( AC B C ) ({1, 2}) = {3} {3} = {3}

C

b) A B = {1, 2} U

c) A = B = U , NO se cumple

1.44 Si A y B son dos conjuntos se verifica

a) A ( A B ) = A B .
C

b) A B = ( B A ) .
C

c)

( A B ) ( A B ) = ( A B ) ( B A) .

La respuesta correcta es la c. Vamos a verla representada en un diagrama de Venn

Tenemos la igualdad ( A B ) ( A B ) = ( A B ) ( B A) .

( A B ) Es la zona de color amarillo ms la zona de color rojo

( A B)

Es la zona de color rojo

La primera parte de la igualdad es: ( A B ) ( A B ) lo nico que hemos hecho es restar la ( A B ) a la

( A B) .

A la parte que est pintada de color amarillo y rojo, ( A B ) , le restamos la parte pintada de color rojo,

( A B ) , que se corresponde a la primera parte de la igualdad, es decir ( A B ) ( A B )

Que es igual a la segunda parte de la igualdad ( A B ) ( B A)

A-B

B-A

1.45 Si dos conjuntos A y B verifican A ( A B ) = A B , se cumple

C

a) AC B = .
b) B A = .
c) A B = .
La respuesta correcta es la b. Vamos a verla representada en un diagrama de Venn
Tenemos la igualdad:

A ( A B) = ( A B)
C

A ( A B)

= ( A B)

A ( A B) = ( A B)

( A B) = ( A B)
A= B

A es la zona verde y la zona roja.

( A B)

Es la zona amarilla y la roja.

Por lo tanto si hacemos A ( A B )

nos queda la zona verde que nos coincide con la interseccin

( A B) .

Y teniendo en cuenta que si ( A B ) = ( A B ) entonces A = B. Y de aqu deducimos que B A = .

U

3
1
2

No hay ninguna respuesta que sea A = B, pero cuando se cumple que A = B, quiere decir que tienen los
mismos elementos y de aqu deducimos que B A = , haciendo un pequeo ejemplo sera:
A = {1, 2}

B = {1, 2}

U = {1, 2,3}

AC = {3}
B C = {3}

Que coincide con la respuesta b.

AC B = U
B A=
A B = A

1.46 Si dos conjuntos A y B verifican A B = ( B A ) , se cumple

C

a) B = AC .
b) B A .
c) A B .
La respuesta correcta es la a. Vamos a verla representada en un diagrama de Venn
Tenemos la igualdad:
A B = ( B A)

A B C = ( B AC )

A BC = B C A
A = BC

Tenemos como resultado que A = B C que es lo mismo que B = AC .

B que es la zona verde es igual a AC que es la zona verde ms la zona azul.

( B A)

Es la zona amarilla ms la zona azul

B-A

A-B

Para la igualdad del enunciado A B = ( B A ) vemos que se cumple.

C

AC = {3}

A = {1, 2}

B = {3}

U = {1, 2,3}

B C = {1, 2}

A B = ( B A)

{1, 2} = {3}
{1, 2} = {1, 2}
C

1.47 En el conjunto de palabras A = {uno, dos, tres, cuatro, cinco} se define la aplicacin f que asigna a
cada una su nmero de letras. Entonces
a)

f ( uno ) = 1 .

b) f ( cinco ) = 5 .
c)

f ( tres ) = 3 .

uno
dos
tres
cuatro
cinco

3
4
5
6

1.48 Para ordenar por orden alfabtico las palabras del conjunto A = {uno, dos, tres, cuatro, cinco} se
asigna a cada una el lugar que ocupa en dicho orden. Entonces
a) La imagen de tres es 4 y la preimagen de 2 es dos.
b) La imagen de uno es 4 y la preimagen de 1 es cinco.
c) La imagen de cuatro es 2 y la preimagen de 1 es cinco.

f
cinco
cuatro
dos
tres
uno

1
2
3
4
5
B

1.49 Se considera la abreviatura de cada palabra del diccionario, compuesta por sus dos primeras letras
seguidas de un punto. Entonces
a) que. es la imagen de queso.
b) fr es la imagen de fruta.
c) ar. tiene como preimagen arma.

1.50 La abreviatura de las palabras del diccionario, definida por sus dos primeras letras seguidas de un
punto, es una aplicacin bien definida en el conjunto de palabras del diccionario?
a) S.
b) No, porque hay palabras distintas con las misma abreviatura.
c) No, porque las palabras de una sola letra no tienen abreviatura.

Lo que nos estn preguntando es si cumplen con la propiedad de aplicacin una abreviatura definida de la
siguiente manera: sus dos primeras letras seguidas de un punto en el conjunto de todas las palabras del
diccionario.
La respuesta c dice que las palabras de una letra no tienen abreviatura, el enunciado nos pide dos letras y un
punto. Por lo tanto habra palabras en el conjunto inicial sin imagen y ya no cumplira con la condicin de
aplicacin.
Para que sea aplicacin, hay que aadir a la definicin que:
Las palabras de una letra son su propia abreviatura.
Tampoco es til abreviar las palabras de dos letras.
1.51 La abreviatura de las palabras del diccionario de ms de dos letras, definida por sus dos primeras
letras seguidas de un punto, es una aplicacin inyectiva?
a) S.
b) No, porque hay palabras distintas con las misma abreviatura.
c) No, porque las abreviaturas r. o qt. no corresponden a ninguna palabra.

Al haber distintas palabras con la misma abreviatura ya no cumple con la condicin de aplicacin inyectiva,
sera correcta la b.
La c no sera correcta ya que no hay en el diccionario ninguna palabra cuyas dos primeras letras sean r. o
qt.
f

libro
litro

li.
...

1.52 Dado el conjunto B = {1, 2,3, 4,5} , si f : A B es una aplicacin sobreyectiva, el cardinal de A debe
cumplir.
a) # ( A) 5 .

b) # ( A) = 5 .
c) # ( A) 5 .
Una funcin f : A B es, sobreyectiva cuando cada elemento de "B" es la imagen de como mnimo un
elemento de "A".
A
B

a
b
c
d
e
f

1
2
3
4
5

Segn esto el #(A) 5

1.53 Dado el conjunto A = {1, 2,3, 4} , si f : A B es una aplicacin inyectiva, el cardinal de B debe
cumplir.
a) # ( B ) 4 .

b) # ( B ) = 4 .
c) # ( B ) 4 .

Segn esto el #(B) 4

1
2
3
4

a
b
c
d
e

1.54 Si f : A B es una aplicacin biyectiva, puede asegurarse.

a) # ( A) # ( B ) .

b) # ( A) = # ( B ) .
c) # ( A) # ( B ) .
Una funcin f : A B es, biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos los
elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del
conjunto de llegada le corresponde un elemento del conjunto de salida.

Segn esto el #(A) = #(B)

1.55 Si A y B son dos conjuntos tales que sus cardinales verifican # ( A) + # ( B ) = # ( A B ) , entonces:
a) A B C .
b) AC B .
c) AC B C = .
Resultado 1.32. Si ( A B ) = , entonces # ( A B ) = # ( A ) + # ( B ) .
Tenemos que recurrir a la frmula general: # ( A B ) = # ( A)+ # (B )# ( A B ) , si la comparamos
con la del enunciado,

# ( A B ) = # ( A) + # ( B ) # ( A B )
#( A B) = #( A B) #( A B)
#( A B) = #( A B) #( A B)
#( A B) = 0
De esto podemos deducir que # ( A B ) = 0 ya que el enunciado no aporta ningn dato sobre el
cardinal de la interseccin.
Si # ( A B ) = 0 quiere decir que ( A B ) = y llegamos a la conclusin que A B C y B AC .

ABC

BAC

1.56 Si A y B son dos conjuntos tales que B A = B , se cumple:

a) # ( B ) # ( A ) = # ( B ) .

b) # ( B ) # ( A ) = # ( A B ) .
c) # ( A) + # ( B ) = # ( A B ) .

Resultado 1.32. Si ( A B ) = , entonces # ( A B ) = # ( A ) + # ( B ) .

Si B A = B quiere decir que ( A B ) = , es decir son disjuntos y esto implica que # ( A B ) = 0 y si
miramos en la frmula general tenemos:

# ( A B ) =# ( A)+ # (B )# ( A B )
# ( A B ) = # ( A) + # ( B ) 0

Por lo tanto respuesta correcta c.

A = {3, 4}

B = {1, 2}

U = {1, 2,3, 4}

AC = {1, 2}
B C = {3, 4}

Se cumple

Se cumple

A B = A

B A= B

{3, 4} {1, 2} = {3, 4}

{1, 2} {3, 4} = {1, 2}

U

1
4

1.57 Si # (U ) = n y A es un subconjunto de U, entonces:

a) # ( AC ) = # ( A )

b) # ( AC ) = n # ( A )

c) # ( AC ) # ( A ) = 0

La respuesta correcta es la b, # ( AC ) = n # ( A )
El enunciado dice que el cardinal del conjunto universal es n, es decir que tiene n elementos, y que A es un
subconjunto de U, lo que dice la respuesta b es que el cardinal del complementario de A es igual a n, que es
el total de elementos del universo, menos el cardinal de A.
Visto de otra forma si despejamos la n quedara:

n = # ( AC ) + # ( A)
Habamos dicho que n era el total de elementos por lo tanto n son todos los elemento que hay en A y lo que
no hay en A, es decir AC y su suma tiene que ser n.
Si por ejemplo tenemos un universo con 10 elementos y el conjunto A tiene 3 elementos, AC tiene que tener
7 elementos.

Dibujndolo sera:
El Universo tiene 10 elementos, el conjunto A en rojo tiene 3 elementos y el conjunto AC en azul tiene que
tener forzosamente 7 para completar los elementos del universo.

A
x x
xxx
x x x

Ac

1.58 Si A y B son dos conjuntos tales que cumplen # ( A) = 6 y # ( A B ) = 2 entonces # ( A B ) es igual a

a) 2.
b) 4.
c) 6.
Si aplicamos la frmula tenemos que:
# A = #( A B) + #( A B)

6 = 2 + #( A B)
4 = #( A B)

Por lo tanto respuesta correcta b.

X
X

X
X
X
X

1.59 Si A y B son dos conjuntos tales que # ( B ) = 14 y # ( A B ) = 8 , entonces:

a) # ( A B ) = 22 .

b) # ( A B ) = 6 .
c) # ( B A) = 6 .

Si aplicamos la frmula tenemos que:

# B = # ( B A) + # ( A B )

14 = # ( B A) + 8
14 8 = # ( B A )
6 = # ( B A)

Por lo tanto respuesta correcta c.

A
X
X
X
X

X
X
X
X

X X
X X
X X

1.60 Si A y B son dos conjuntos tales que # ( A B ) = 16 , # ( A) = 10 y # ( B ) = 9 entonces # ( A B ) es

igual a:
a) 1.
b) 3.
c) 9.
Si aplicamos la frmula tenemos que:

# ( A B ) = # ( A) + # ( B ) # ( A B )

16 = 10 + 9 # ( A B )
3 = # ( A B )

3 = #( A B)

A
X X
X X
X X
X

X
X
X

X X
X X
X X

1.61 Si A y B son dos conjuntos tales que # ( A B ) siempre es mayor o igual que:
a) # ( A) + # ( B ) .

b) # ( A) + # ( A B ) .

c) # ( A B ) + # ( B A) .

Partimos de la frmula: # ( A B ) = # ( A B ) + # ( B A ) + # ( A B )
Como se puede ver en el diagrama de Venn el cardinal de la unin es igual al cardinal de A-B ms el
cardinal de B-A ms el cardinal de la interseccin de A y B.
La respuesta correcta sera la c ya que # ( A B ) siempre va a ser mayor o igual que # ( A B ) + # ( B A )
a falta de conocer el valor del cardinal de la interseccin.

A-B

AB

B-A

1.62 Si A y B son dos conjuntos # ( A B ) # ( A B ) es igual a:

a) # ( A) + # ( B ) .

b) # ( A B ) + # ( B A) .
c) # ( A) # ( B ) .

Si analizamos la frmula # ( A B ) = # ( A B ) + # ( B A ) + # ( A B ) vemos que:

# ( A B ) # ( A B ) = # ( A B ) + # ( B A)
A B es la zona roja.
B A es la zona amarilla.
A B es la zona roja ms la zona azul ms amarilla.
A B es la zona azul.

A-B AB B-A

1.63 Si A y B son dos conjuntos que verifican # ( B ) = # ( A) + # ( A B ) y # ( A B ) = 12 , se cumple

a) # ( A) = 6 .

b) # ( B ) = 9 .

c) # ( A B ) = 3 .
Si analizamos la igualdad vemos que utilizando la frmula general:

# ( B ) = # ( A) + # ( A B )
# ( A B ) = 12

# ( A B ) =# ( A)+ # (B )# ( A B )
12 = # ( A) + # ( A ) + # ( A B ) # ( A B )
12 = 2 # ( A )
12 = 2 # ( A )
# ( A) = 6

1.64 Si A y B son dos conjuntos tales que #(A B) = #(A) + #(A B) y #(B) = 16 , se verifica:
a) #(A) = 12 .
b) #(A B) = 20 .
c) #(A B) = 8 .
Frmula general: # ( A B ) = # ( A ) + # ( B ) # ( A B )

Enunciado:

# ( A B ) = # ( A) + # ( A B ) y

# (B ) = 16
#(AB) = #(A) + #(B) #(AB)

#(A) + #(AB) = #(A) + 16 #(AB)

#(AB) + #(AB)= #(A) #(A) + 16
2#(AB) = 16

#(AB) = 8

U
B

A
XX
XX
XX
XX

XX
XX
XX
XX

1.65 Si A y B son dos conjuntos tales que #(A B) = 9 , # ( B A) = 6 y #(A B) = 27 , se verifica:

a) #(A B) = 9 .
b) #(A) = 21.
c) #(B) = 15 .

# ( A B ) = # ( A B ) + # ( B A) + # ( A B )
27 = 9 + 6 + # ( A B )
# ( A B ) = 12
# A = #( A B) + #( A B)
# A = 9 + 12 = 21

# B = # ( B A) + # ( A B )
# B = 6 + 12 = 18

A B es la zona roja.
B A es la zona amarilla.
A B es la zona blanca.

U
B

XXX

XX
XXX

XXX

XXX

XX

XXX

XXX

XX