Demostraciones a ejercicios propuestos

Prof. Luis Pineda

ltima actualizacin: Febrero, 2.012

1
1.1

(1)

Demostrar A B A B =
Demostrar

AB AB =

Asumimos que A B es verdadero

equivale a decir que para todos los elementos se cumple que si un elemento est en A
entonces est en B . Por denicin del operador implicacin y por propiedad de los cuanticadores
lgicos, esto es lo mismo que decir que no existen elementos que estn en A y que no estn en B .

(2) A B

(3)

El conjunto A B es el conjunto de todos los elementos que estn en A y no estn en B .

(4)

Por (2) y (3) sabemos que AB est vaco, ya que no existen elementos que cumplan la proposicin
que lo dene. Por lo tanto al asumir A B verdadero deducimos que A B = tambin lo es

1.2

Demostrar

AB =AB

(1)

Asumimos que A B = es verdadero

(2)

El conjunto A B es el conjunto de todos los elementos que estn en A y no estn en B .

(3)

Por (1) y (2) sabemos que no existen elementos que estn en A y que no estn en B , ya que el
conjunto de todos los elementos que cumplen esa proposicin es vaco.

(4)

La proposicin (3) es equivalente a decir que decir que para todos los elementos se cumple que si
un elemento est en A entonces est en B (def. del op. implicacin y propiedad de los cuantif.
lg.). Esto equivale a decir que A B . Por lo tanto al asumir A B = verdadero llegamos a
la conclusin que A B tambin lo es

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

A (A B)

(denicin de diferencia de conjuntos)

= A AB

(denicin de diferencia de conjuntos)

= A AB

(ley de DeMorgan)

A A (A B)

(propiedad distributiva)

(1)

De las igualdades mostradas arribas podemos concluir que A (A B) = A A (A B).

(2)

Para todo conjunto A, se cumple que A A = (propiedad de la intereseccin). Por lo tanto,

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

(3)

Para todo conjunto A, se cumple que A = A (propiedad de la unin). Por lo tanto, A A

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

(4)

Por (1) y (3) podemos concluir que A (A B) = A B

Demostrar A (B C) = (A B) (A C)

Esta proposicin es ms fcil de demostrar si se empieza por el lado derecho:

(A B) (A C)

=
=
=
=
=
=
=
=
=

(denicin de diferencia de conjuntos)

(ley de DeMorgan)
(A B) A C
(A B) A (A B) C
(propiedad distributiva)
(propiedad asociativa)
A A B (A B) C
( B) (A B) C
(debido a que para todo A, A A = )
(debido a que para todo A, A = )
(A B) C
(A B) C
(debido a que para todo A, A = A)
A BC
(propiedad asociativa de la interseccin)
= A (B C)
(denicin de diferencia de conjuntos)
(A B) (A C)

Estas igualdades demuestran que A (B C) = (A B) (A C)

Demostrar A B (A C) B C

Esta demostracin requiere demostrar previamente que A B A C B C . La demostracin se

ofrece en la seccin 4.1.
Sea U el conjunto universal. Entonces podemos reescribir A B como:
AB

= (A B) U
(debido a que para todo conjunto A, A U = A)
= (A B) C C
(debido a que para todo conjunto A, A A = U )
=

((A B) C) (A B) C

((A C) B)

BC A

(propiedad distributiva)
(propiedad asociativa)

(1)

De las igualdades mostradas arribas tenemos que A B = ((A C) B)

(2)

Por propiedad de la interseccin A B A deducimos que (A C) B A C

(3)

Por propiedad de la interseccin A B A deducimos que B C A B C

(4)

Por (2) y por la propiedad demostrada en 4.1 deducimos que ((A C) B)

(A C)

(5)

BC A

BC A

BC A

Por (3) y por la propiedad demostrada en 4.1 deducimos que (A C) B C A (A C)

BC

(6)

Por (4), (5) y por transitividad de la inclusin tenemos que ((A C) B)

(A C) B C

(7)

Finalmente por (1) y (6) concluimos que A B (A C) B C

2

BC A

4.1

Demostrar

AB AC BC

(1)

Suponemos que A B es verdadero.

(2)

Dividimos los elementos x A C en tres subconjuntos disjuntos: X1 = {x | x A x C},

/
X2 = {x | x C x A} y X3 = {x | x A x C}.
/

(3)

Todos los elementos de los conjuntos X1 y X3 pertenecen al conjunto A, y por (1), deducimos que
tambin pertencen a B .

(4)

Por propiedad de la unin B B C , por transitividad de la inclusin y por (3) deducimos que
todos lo elementos de X1 y X3 pertenecen a B C .

(5)

Los elementos del conjunto X2 pertenecen a C . Entonces, por la propiedad de la unin C B C

y por transitividad de la inclusin deducimos que todos los elementos de X2 pertenecen a B C .

(6)

Por (2), (4) y (5) deducimos que todos los elementos de A C pertenecen a B C . Es decir
AC BC

Demostrar (A C) B C A B

(A C) B C

=
=
=
=
=

(propiedad distributiva)
((AC) B) A C C C
(propiedad distributiva)
((A C) B) A C
(debido a que para todo A, A A = )
((A C) B) A C
(debido a que para todo A, A = A)

(A B) (C B) A C
(propiedad distributiva)
((A C) B) (A C) C

(1)

De las igualdades mostradas arriba tenemos que (A C) B C = (A B) (C B) A C

(2)

Si un x (A B) (C B) A C entonces se cumple que x (A B) x (C B) x

AC

(3)

Si x (A B) entonces, por propiedad de la interseccin A B A, tenemos que x A

(4)

Si x (C B) entonces, por propiedad de la interseccin A B B , tenemos que x B

(5)

Si x A C entonces, por propiedad de la interseccin A B B , tenemos que x A

(6)

Por (2), (3), (4), y (5) tenemos que si x (A B) (C B) A C entonces se cumple que
xAxB

(6)

Por (1) y (6) tenemos entonces que (A B) B C A B

Demostrar A B (A) (B)

La demostracin se hace por contraposicin:

(1)

Supongamos que A B (A)

(B) es verdadero.

(2)

La proposicin (1) implica que existe un conjunto X que pertenece a (A) y que no pertenece a
(B)

(3)

Por la denicin de conjunto de partes y por (2) deducimos que X es subconjunto de A pero no
es subconjunto de B
3

(4)

Por la denicin de subconjunto sabemos que todos los elementos de X pertenecen al conjunto A.
De forma similar, sabemos que X posee elementos que no estn en B .

(5)

Por (4) llegamos a la conclusin que existen elementos que pertenecen al conjunto A que no
pertenecen al conjunto B , ya que cualquiera de los elementos de X que no est en B est en A.

(6)

La proposicin (5) implica que A no es subconjunto de B , ya que algunos de sus elementos no estn
en B . Pero esto contradice la proposicin (1) y por lo tanto nuestra suposicin (A) (B) es
falsa

Demostrar (A) (B) (A B)

Consideremos un elemento X que pertenezca al conjunto (A) (B) = {X|X (A) X (B)}
(1)

Por la denicin de la unin de conjuntos, X pertenece a uno de los siguientes tres subconjuntos disjuntos: Z1 = {z|z (A) z (B)}, Z2 = {z|z (B) z (A)} o Z3 = {z|z (A) z (B)}
/
/

(2)

Aplicando la denicin de conjunto de partes, por (1) deducimos que X cumple una de las siguientes proposiciones p1 : X A X B (si pertenece a Z1 ), p2 : X B X A (si pertenece
a Z2 ) o p3 : X A X B (si pertenece a Z3 )

(3)

Si X cumple p1 o p3 entonces es subconjunto de A. Aplicando la propiedad A A B y la

transitividad de la inclusin deducimos luego que X A B

(4)

Si X cumple p2 entonces es subconjunto de B . Aplicando la propiedad B AB y la transitividad

de la inclusin deducimos luego que X A B

(5)

Por (2), (3) y (4) deducimos que X AB . Y por denicin del conjunto de partes X (AB).
Esto demuestra que si X est en (A) (B) entonces est en (A B)

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

(1)

Primero notemos que (A) (B) = {X|X (A) X (B)} = {X|X A X B}. Es
decir (A) (B) es el conjunto de todos los conjuntos X que son subconjuntos de A y de B

(2)

Por (1) y la denicin de subconjunto, (A) (B) es el conjunto de todos los conjuntos X cuyos
elementos estn todos en A y cuyos elementos estn todos en B . Por lo tanto, (A) (B) es el
conjunto de todos los conjuntos X cuyos elementos estn tanto en A como en B

(3)

Los elementos que estn tanto en A como en B son elementos que pertenecen a A B . Por lo
tanto, por (2), (A) (B) es el conjunto de todos los conjuntos X cuyos elementos estn en
AB

(4)

Si todo elemento de un conjunto X est en A B entonces, por denicin de subconjunto, X

A B . Por lo tanto, por (3), (A) (B) es el conjunto de todos los conjuntos X que son
subconjuntos de A B . Pero esto no es ms que el conjunto (A B). Por lo tanto, el conjunto
(A) (B) es el conjunto (A B)