Teoría de conjuntos

La teoría de conjuntos es una rama de las matemáticas (y de la lógica) que se dedica a

estudiar las características de los conjuntos y las operaciones que pueden efectuarse
entre ellos.
Es decir, la teoría de conjuntos es un área de estudio enfocada en los conjuntos. Por
tanto, se encarga de analizar tanto los atributos que poseen, como las relaciones que
pueden establecerse entre ellos. Es decir, su unión, intersección, complemento u otro.

Debemos recordar que un conjunto es una agrupación de elementos, ya sean

números, letras, palabras, funciones, símbolos, figuras geométricas u otros.

Para determinar un conjunto se suele definir la característica que tienen en común

sus elementos. Por ejemplo, un conjunto A con los números enteros, positivos y
pares menores a 20.

A = {2, 4, 6, 8, 10, 12, 14, 16, 18}

Historia de la teoría de conjuntos

La historia de la teoría de conjuntos puede remontarse al trabajo de Georg Cantor,
matemático alemán de origen ruso, quien es considerado el padre de dicha
disciplina.

Entre los temas que estudió Cantor destaca, por ejemplo, el de los conjuntos
infinitos y los conjuntos numéricos.

El primer trabajo de Cantor sobre la teoría de conjuntos data de 1874. Además,

cabe mencionar que mantuvo un frecuente intercambio de ideas con el
matemático Richard Dedekind, quien contribuyó al estudio de los números
naturales.

Conjuntos numéricos
Los conjuntos numéricos son las distintas agrupaciones en las que se clasifican
los números en función de sus distintas características. Se trata de una
construcción abstracta que tiene una importante aplicación en las matemáticas.

Los conjuntos numéricos son los complejos, imaginarios, reales, irracionales,

racionales, enteros y naturales, y pueden ilustrarse en el siguiente diagrama de
Venn:

Números complejos
 Números imaginarios
Número

Álgebra de conjuntos
El álgebra de conjuntos engloba las relaciones que se pueden establecer entre
ellos.

Así, destacan las siguientes operaciones:

s reales
Números irracionales
Números racionales
Números enteros
Números naturales

 Unión de conjuntos: La unión de dos o más conjuntos contiene cada elemento

que está contenido, al menos, en alguno de ellos.

 Intersección de conjuntos: La intersección de dos o más conjuntos incluye todos

los elementos que estos conjuntos comparten o que tienen en común.

 Diferencia de conjuntos: La diferencia de un conjunto respecto a otro es a igual

a los elementos del primer conjunto menos los elementos del segundo.

 Conjuntos complementarios: El complemento de un conjunto incluye todos los

elementos que no están contenidos en dicho conjunto (pero que sí pertenecen a
otro conjunto de referencia).
 Diferencia simétrica: La diferencia simétrica de dos conjuntos incluye todos
elementos que están en uno o en otro, pero no en ambos al mismo tiempo.

 Producto cartesiano: Es una operación que da como resultado un nuevo

conjunto. Contiene como elementos los pares ordenados o las tuplas (series
ordenadas) de los elementos que pertenecen a dos o más conjuntos. Son pares
ordenados si se trata de dos conjuntos y tuplas si son más de dos conjuntos.

Georg Cantor, padre de la Teoría de Conjuntos (junto a Dedekind y

Frege); alude a que el concepto de Conjunto no está definido
formalmente, pero -que dependiendo del contexto- es intuitivamente
claro y alude a una "colección de objetos".
permalink
Ejemplo 1.2.1.

1. La colección A={2,3,5,7,11,13,17,19,23,...}A={2,3,5,7,11,13,17,19,23,...} -
intuitivamente- es el conjunto de todos los números primos.
2. La colección B={Hiperbola, Elipse, Parábola,
3. Circunferencia}B={Hiperbola, Elipse, Parábola,Circunferencia} es el
conjunto de secciones cónicas.
4. La colección C={x∈R:x2−5x+6=0}C={x∈R:x2−5x+6=0} es el conjunto
es el conjunto solución de la ecuación
cuadrática x2+5x+6x2+5x+6 en R.R.
5. La
colección D={m∈N:m≤n∧mcd(m,n)=1}D={m∈N:m≤n∧mcd(m,n)=1} es el
conjunto de números naturales menores y coprimos con n.n.
permalinkLos objetos que constituyen un conjunto se denominan
elementos. Por convención, emplearemos letras mayúsculas para
denotar un conjunto y minúsculas para los elementos. Si xx es un
elemento de S,S, entonces x∈S.x∈S. Si xx no es un elemento
de S,S, entonces x∉Sx∉S (alternativamente, ¯¯¯¯¯¯¯¯¯¯¯¯¯x∈Sx∈S¯).
permalinkUn conjunto SS puede ser definido por comprensión
(exhibiendo una característica de los elementos de SS) o por
extensión (escribiendo explícitamente todos los elementos de SS).
permalink
Ejemplo 1.2.2.

Del Ejemplo 1.2.1, AA y BB están definidos por extensión, mientras

que CC y DD lo están por comprensión.
permalink
Ejercicio 1.2.3.

Escriba por comprensión el conjunto A.A. Exprese por extensión la

colección C.C. ¿Cual es la cardinalidad (cantidad de elementos) en D?D?
permalink

1.2.1 Igualdad y Subconjunto
permalinkParalo que viene, será importante estar familiarizado con el concepto de
proposiciones lógicas y cuantificadores. Considere A,B;A,B; conjuntos.
permalink
Definición 1.2.4.
(Subconjunto o Inclusión): A⊆B  ⇔  ∀  x,  x∈A⇒x∈B.A⊆B  ⇔  ∀  x,  x∈A⇒x∈B.
Es decir, AA es un subconjunto de (o está incluido en) B.B.
permalink
Observación 1.2.5.
Si A⊆BA⊆B y A≠B,A≠B, entonces A⊂B.A⊂B.
Es decir, AA es subconjunto propio de B.B.
permalink
Definición 1.2.6.
(Igualdad): A=B⇔∀  x,  x∈A⇔x∈B.A=B⇔∀  x,  x∈A⇔x∈B.
Es decir; si AA y BB tienen los mismos elementos, entonces son iguales.
permalink
Proposición 1.2.7.
(Igualdad e Inclusión) A=B⇔A⊆B  ∧  B⊆A.A=B⇔A⊆B  ∧  B⊆A.permalink
Demostración.

Por Definición 1.2.6,

A=B⇔∀  x,  x∈A⇔x∈B⇔∀  x,[x∈A⇒x∈B]∧[x∈A⇒x∈B]⇔[∀  x,x∈A⇒x∈B]∧[∀  
x,x∈A⇒x∈B]⇔A⊆B∧A⊆BA=B⇔∀  x,  x∈A⇔x∈B⇔∀  x,
[x∈A⇒x∈B]∧[x∈A⇒x∈B]⇔[∀  x,x∈A⇒x∈B]∧[∀  x,x∈A⇒x∈B]⇔A⊆B∧A⊆B
permalink
Proposición 1.2.8.
Considere los conjuntos A,B,C.A,B,C. Entonces
1. A⊆A.A⊆A.
2. A=A.A=A.
3. A=B⇔B=A.A=B⇔B=A.
4. (A=B)∧B=C)⇒A=C.(A=B)∧B=C)⇒A=C.
5. (A⊆B∧B⊆C)⇒A⊆C.(A⊆B∧B⊆C)⇒A⊆C.
permalink
Demostración.

Ejercicio.
permalinkNote que {1,2,3}={3,2,1}={1,1,1,1,2,3,3}.{1,2,3}={3,2,1}={1,1,1,1,2,3,3}.  En
conjuntos no importa el orden, ni la cantidad de repeticiones de los elementos.
permalink

1.2.2 Conjunto Vacío y Universo

permalink
Definición 1.2.9.
(Conjunto Vacío) Se define el conjunto vacío como
∅:={x:∧ x≠x}.∅:={x:∧ x≠x}.
permalink
Observación 1.2.10.
El conjunto vacío no tiene ningún elemento y es único.permalink
Observación 1.2.11.
∅⊆S∅⊆S ( SS es un conjunto arbitrario).permalink
Ejemplo 1.2.12.

Si p:x∈∅,p:x∈∅, una proposición lógica. ¿Cuál es su valor de verdad? ¡Falso!, pues ∅∅ no

tiene elementos.
permalink
Definición 1.2.13.
(Conjunto Universo) Se asumirá la existencia de un conjunto UU (de referencia), en donde
viven todos los elementos con los cuales se va a trabajar. ¡El conjunto universo es todo!
permalink
Ejemplo 1.2.14.

Si q:x∈U,q:x∈U, una proposición lógica. ¿Cuál es su valor de verdad? ¡Verdadero!,

pues UU es el conjunto universo (que contiene a todos los elementos). Además; del
Ejemplo 1.2.12, ¯¯¯q⇔p.q¯⇔p.
permalink

1.2.3 Diagramas de Venn
permalinkUn diagrama de Venn exhibe de manera grafica la relación lógica existente entre
conjuntos. Permite visualizar de manera certera, las relaciones entre conjuntos. Fueron
introducidos por el matemático britanico John Venn (ver Figura 1.2.15).
permalink
Figura 1.2.15. Diagramas de Venn para los conjuntos A,B,C.A,B,C.permalink

1.2.4 Operaciones con Conjuntos

permalinkConsidere los conjuntos A,B,C,UA,B,C,U (referencial o universo). Definiremos
ciertas operaciones entre estos conjuntos, los cuales nos permiten definir nuevas
colecciones.
permalink
Definición 1.2.16.
(Unión):
∀ x,x∈A∪B⇔x∈A ∨ x∈B.∀ x,x∈A∪B⇔x∈A ∨ x∈B.
Es decir, A∪BA∪B es el conjunto que reúne los elementos que están en AA con los
aquellos que están en B.B. Expresado mediante diagramas de Venn (ver Figura
1.2.17).permalink

Figura 1.2.17. Diagrama de Venn para la unión entre AA y BB (área pintada).permalink

Definición 1.2.18.
(Intersección):
∀ x,x∈A∩B⇔x∈A ∧ x∈B.∀ x,x∈A∩B⇔x∈A ∧ x∈B.
Es decir, A∩BA∩B es el conjunto que reúne los elementos que están en AA tanto como
en B.B. Expresado mediante diagramas de Venn (ver Figura 1.2.19).permalink

Figura 1.2.19. Diagrama de Venn para la intersección entre AA y BB (área

pintada).permalink
Observación 1.2.20.
Dos conjuntos AA y BB son disjuntos si no tienen elementos en común. Es
decir, A∩B=∅.A∩B=∅.permalink
Definición 1.2.21.
(Complemento)
∀x,x∈Ac⇔x∈U ∧ x∉A.∀x,x∈Ac⇔x∈U ∧ x∉A.
AcAc denota el complemento de A;A; formado por los elementos que no están en A.A.
permalink
Ejemplo 1.2.22.

Considere el conjunto universo U=ZU=Z y A={n∈Z:n es par}.A={n∈Z:n es par}. El

complemento de AA está dado por Ac={n∈Z:n es impar}Ac={n∈Z:n es impar} .

permalinkElcomplemento de un conjunto, expresado mediante diagramas de Venn está dado

por la Figura 1.2.23
permalink

Figura 1.2.23. Diagrama de Venn para el complemento de AA (área pintada).permalink

Definición 1.2.24.
(Diferencia):
A∖B=A∩Bc.A∖B=A∩Bc.
Es decir, A∖BA∖B es el conjunto que reúne los elementos que están en AA y los que no
están en B.B. Expresado mediante diagramas de Venn (ver Figura 1.2.25)permalink
Figura 1.2.25. Diagrama de Venn para la diferencia entre AA y BB (área pintada).permalink
Definición 1.2.26.
(Diferencia Simétrica)
A△B=(A∖B)∪(B∖A).A△B=(A∖B)∪(B∖A).
Es decir; un elemento xx pertenece a A△BA△B si y solo si xx está en A, pero no en BB o
si xx está en B,B, pero no en A.A. En diagramas de Venn (ver Figura 1.2.27).permalink

Figura 1.2.27. Diagrama de Venn para la diferencia simétrica entre AA y BB (área

pintada).permalink
Ejemplo 1.2.28.

Sean A={1,2,3,4},A={1,2,3,4}, B={1,2,5,6,7},B={1,2,5,6,7}, C={2,3,5,8}C={2,3,5,8}y 
U={1,2,3,4,5,6,7,8}.U={1,2,3,4,5,6,7,8}. Entonces
a. Ac∪Bc={1,4,5,6,7,8}.Ac∪Bc={1,4,5,6,7,8}.
 b. Bc∖Cc=∅.Bc∖Cc=∅.
c. A∩C={2}.A∩C={2}.
d. (B∩Cc)c={2,3,4,5,8}.(B∩Cc)c={2,3,4,5,8}.
e. (A△B)△C={2,4,6,7,8}.(A△B)△C={2,4,6,7,8}.
permalinkA continuación, exhibimos una serie de propiedades sobre operaciones en
conjuntos. Nos referimos al Álgebra de Conjuntos. La demostración de estas proposiciones
es análoga a las Tautologías Notables (Álgebra de Proposiciones). Considere los
conjuntos A,B,CA,B,C y UU (de referencia o universal).
1. Conmutatividad: A∪B=B∪AA∪B=B∪A y A∩B=B∩A.A∩B=B∩A.
2. Asociatividad: A∪(B∪C)=(A∪B)∪CA∪(B∪C)=(A∪B)∪C y A∩(B∩C)=(A∩B)
∩C.A∩(B∩C)=(A∩B)∩C.
3. Distribuitividad: A∩(B∪C)=(A∩B)∪(A∩C)A∩(B∪C)=(A∩B)∪(A∩C) y A∪(B
∩C)=(A∪B)∩(A∪C).A∪(B∩C)=(A∪B)∩(A∪C).
4. Idempotencia: A∪A=AA∪A=A y A∩A=A.A∩A=A.
5. Identidad: A∪∅=A,A∪∅=A, A∩∅=∅,A∩∅=∅, A∪U=UA∪U=U y A∩U=A.A∩U
=A.
6. Del
Complemento: (Ac)c=A,A∪Ac=U,A∩Ac=∅,Uc=∅(Ac)c=A,A∪Ac=U,A∩Ac=∅,U
c=∅ y ∅c=U.∅c=U.
7. Absorción: A∩(A∪B)=AA∩(A∪B)=A y A∪(A∩B)=A.A∪(A∩B)=A.
8. Inclusión (A∩B)⊆A⊆(A∪B)(A∩B)⊆A⊆(A∪B) y (A∩B)⊆B⊆(A∪B).
(A∩B)⊆B⊆(A∪B).
9. Leyes de De Morgan: (A∪B)c=Ac∩Bc(A∪B)c=Ac∩Bc y (A∩B)c=Ac∪Bc.
(A∩B)c=Ac∪Bc.
10. De la Diferencia Simétrica: A△B=B△A,A△B=B△A, (A△B)△C=A△(B△C),
(A△B)△C=A△(B△C), A△A=∅A△A=∅ y A△∅=A.A△∅=A.
permalink
Ejemplo 1.2.29.

Usando Álgebra de Conjuntos, probaremos que

(A∩B)c∖(Ac∪B)=A∖B.(A∩B)c∖(Ac∪B)=A∖B.
En efecto
(A∩B)c∖(Ac∪B)=(A∩B)c∩(Ac∪B)c=(Ac∪Bc)∩(A∩Bc)=(Ac∪Bc)∩(Bc∩A)=[(Ac∪Bc)∩
Bc]∩A=Bc∩A=A∩Bc=A∖B(A∩B)c∖(Ac∪B)=(A∩B)c∩(Ac∪B)c=(Ac∪Bc)∩(A∩Bc)=
(Ac∪Bc)∩(Bc∩A)=[(Ac∪Bc)∩Bc]∩A=Bc∩A=A∩Bc=A∖B
permalink
Ejercicio 1.2.30.

Use Álgebra de Conjuntos para simplificar la expresión

(A∩Bc)∪(A∩B)∪(B∩Ac).(A∩Bc)∪(A∩B)∪(B∩Ac).

permalinkPodemos construir un diccionario Lógica - Conjunto; el cual muestra la relación

entre los conectivos lógicos y las operaciones con conjuntos. Se tiene que
1. ⇒⇒ (Lógica) es ⊆⊆ (Conjuntos).
2. ⇔⇔ (Lógica) es == (Conjuntos).
 3. ∨∨ (Lógica) es ∪∪ (Conjuntos).
4. ∧∧ (Lógica) es ∩∩ (Conjuntos).
5. ⊻⊻ (Lógica) es △△ (Conjuntos).
6. −−(Lógica) es cc (Conjuntos).
permalink

1.2.5 Cardinalidad de un Conjunto
permalinkEs
natural preguntarse cual es la cantidad de elementos de un conjunto no vacío.
Esto nos motiva a introducir el concepto de cardinal de un conjunto.
permalink
Definición 1.2.31.
(Cardinal) Sea A,A, un conjunto no vacío. El cardinal de AA es el número de elementos en
el conjunto y se denota por |A|.|A|.permalink
Observación 1.2.32.
Un conjunto AA se dice finito si su cardinal es finito.
permalinkNos interesa saber cual es la cardinalidad de A∩BA∩B y A∪B.A∪B. Para esto,
consideraremos el siguiente resultado (Proposición 1.2.33)
permalink
Proposición 1.2.33.
(Propiedades del Cardinal) Sean A,BA,B y C;C; conjuntos no vacíos y finitos. Entonces
1. |∅|=0.|∅|=0.
2. Si  A⊆B,A⊆B, entonces  |B−A|=|B|−|A|.|B−A|=|B|−|A|.
3. |A∪B|=|A|+|B|−|A∩B|.|A∪B|=|A|+|B|−|A∩B|.
4. |A∪B∪C|=|A|+|B|+|C|+|A∩B∩C|−|A∩B|−|A∩C|−|B∩C|.|A∪B∪C|=|A|+|B|+|C|+|
A∩B∩C|−|A∩B|−|A∩C|−|B∩C|.
permalink

1.2.6 Conjunto Potencia, Particiones y Producto

Cartesiano
permalink
Definición 1.2.34.
Sea SS un conjunto. Se denomina conjunto potencia de SS (y se denota P(S)P(S)) a la
colección de todos los subconjuntos de S.S. Es decir
∀ X,X∈P(S) ⇔X⊆S.∀ X,X∈P(S) ⇔X⊆S.
permalink
Observación 1.2.35.
∅,S⊆P(S).∅,S⊆P(S).permalink
Ejemplo 1.2.36.

Sea S={1,2,3}.S={1,2,3}. Determinaremos P(S)P(S) para después responder la

interrogante: ¿Cuántos elementos tiene el conjunto potencia?

En efecto
P(S)={{1},{2},{3},{1,2},{1,3},{2,3},S,∅}.P(S)={{1},{2},{3},{1,2},{1,3},{2,3},S,∅}.
La cantidad de elementos de P(S)P(S) es 8.8. Esto nos motiva a introducir el siguiente
resultado (Proposición 1.2.37).
permalink
Proposición 1.2.37.
Sea SS un conjunto con nn elementos. Entonces
|P(S)|=2n.|P(S)|=2n.
Es decir, la cantidad de subconjuntos de SS es 2n (n∈N∪{0})2n (n∈N∪{0}).permalink
Ejemplo 1.2.38.

Sea S=∅.S=∅. Determinaremos P(S).P(S).

Se sigue que
P(S)={∅}.P(S)={∅}.
permalink
Ejercicio 1.2.39.
permalink
Proposición 1.2.40.
(Propiedades del Conjunto Potencia) Sean A,B;A,B; conjuntos. Entonces
1. P(A)∩P(B)=P(A∩B).P(A)∩P(B)=P(A∩B).
2. P(A)∪P(B)⊆P(A∪B).P(A)∪P(B)⊆P(A∪B).
permalink
Demostración.

En 1, note que
X∈P(A)∩P(B)⇔X∈P(A)∧X∈P(B)⇔X⊆A∧X⊆B⇔X⊆A∩B⇔X∈P(A∩B)X∈P(A)∩P(
B)⇔X∈P(A)∧X∈P(B)⇔X⊆A∧X⊆B⇔X⊆A∩B⇔X∈P(A∩B)
Finalmente, por igualdad de conjuntos; se concluye
que P(A)∩P(B)=P(A∩B).P(A)∩P(B)=P(A∩B).

En 2, vea que
X∈P(A)∪P(B)⇒X∈P(A)∨X∈P(B)⇒X⊆A∨X⊆B⇒X⊆A∪B⇒X∈P(A∪B)X∈P(A)∪P(B
)⇒X∈P(A)∨X∈P(B)⇒X⊆A∨X⊆B⇒X⊆A∪B⇒X∈P(A∪B)
Por definición de subconjunto, se concluye
que P(A)∪P(B)⊆P(A∪B).P(A)∪P(B)⊆P(A∪B).
permalink
Ejercicio 1.2.41.

¿Por qué P(A)∪P(B)≠P(A∪B)?P(A)∪P(B)≠P(A∪B)?

permalinkDado que estamos familiarizados con el conjunto potencia, podemos introducir el

concepto de partición.
permalink
Definición 1.2.42.
(Partición de Conjuntos) Se dice que C⊆P(A)C⊆P(A) es una partición de AA si
1. ∀ B∈C,B≠∅.∀ B∈C,B≠∅.
 2. Los elementos de CC son disjuntos a pares: Para todo B,B′∈CB,B′∈C tales
que B≠B′,B≠B′, entonces B∩B′=∅.B∩B′=∅.
3. CC cubre A:A: ⋃B∈CB=A.⋃B∈CB=A.
permalink
Ejemplo 1.2.43.

El conjunto A={x,y,z}A={x,y,z} tiene cinco distintas particiones. Estas son

1. {{x},{y},{z}}.{{x},{y},{z}}.
2. {{x,y},{z}}.{{x,y},{z}}.
3. {{x,z},{y}}.{{x,z},{y}}.
4. {{x},{y,z}}.{{x},{y,z}}.
5. {{x,y,z}}.{{x,y,z}}.
permalink
Ejemplo 1.2.44.

Si A={x,y,z},A={x,y,z}, entonces no son particiones

1. {{x},{x,y,z}}.{{x},{x,y,z}}.
2. {{x},{y}}.{{x},{y}}.
permalinkPara introducir el concepto de Producto Cartesiano, será importante recordar que
si (a,b)(a,b) y (c,d)(c,d) son pares ordenados tales que (a,b)=(c,d)
(a,b)=(c,d) entonces a=ca=c y b=d.b=d.
permalink
Definición 1.2.45.
(Producto Cartesiano) Sean A,B;A,B; dos conjuntos no vacíos. Se define el producto
cartesiano entre AA y BB como
A×B:={(a,b):a∈A∧b∈B}.A×B:={(a,b):a∈A∧b∈B}.
permalinkDe la Definición 1.2.45, se deduce de que los elementos del producto cartesiano
entre AA y BB son pares ordenados de la forma (a,b);(a,b); donde la primera componente
vive en A,A, mientras que la segunda pertenece a BB
.
permalinkNote que (a,b)(a,b) no necesariamente es (b,a),(b,a), por lo
que A×B≠B×AA×B≠B×A (el producto cartesiano es anticonmutativo).
permalink
Proposición 1.2.46.
Sean A,B;A,B; dos conjuntos no vacíos tales que |A|=n|A|=n y |A|=m.|A|=m. Entonces
|A×B|=n⋅m.|A×B|=n⋅m.
permalink
Ejemplo 1.2.47.

Sea A={1,2,3}A={1,2,3} y B={4,5}.B={4,5}. Entonces
A×B={(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)}.A×B={(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)}.
B×A={(4,1),(4,2),(4,3),(5,1),(5,2),(5,3)}.B×A={(4,1),(4,2),(4,3),(5,1),(5,2),(5,3)}.
permalinkSi AA y BBson conjuntos no vacíos, ¿como es la gráfica de los elementos de un
producto cartesiano? Dado que los elementos de A×BA×B son pares ordenados, la grafica
de estos elementos se realiza en un sistema de coordenadas rectangulares.
permalink
Ejemplo 1.2.48.

Sean P={1,2,3}P={1,2,3} y Q={a,b,c,d,e}.Q={a,b,c,d,e}. Entonces
P×Q={(1,a),(1,b),(1,c),(1,d),(1,e),(2,a),(2,b),(2,c),(2,d),(2,e),(3,a),(3,b),(3,c),(3,d),
(3,e)}.P×Q={(1,a),(1,b),(1,c),(1,d),(1,e),(2,a),(2,b),(2,c),(2,d),(2,e),(3,a),(3,b),(3,c),
(3,d),(3,e)}.
La gráfica de los elementos de P×QP×Q es
permalink

Figura 1.2.49. Gráfica de P×Q.P×Q.
permalink
Proposición 1.2.50.
(Propiedades del Producto Cartesiano) Considere los conjuntos no
vacíos A,B,C,D,X,Y.A,B,C,D,X,Y. Entonces
1. A×B=∅⇔A=∅∨B=∅.A×B=∅⇔A=∅∨B=∅.
2. A⊆X∧B⊆Y⇒(A×B)⊆(X×Y).A⊆X∧B⊆Y⇒(A×B)⊆(X×Y).
3. A×(B∩C)=(A×B)∩(A×C).A×(B∩C)=(A×B)∩(A×C).
4. A×(B∪C)=(A×B)∪(A×C).A×(B∪C)=(A×B)∪(A×C).
5. (A×B)∩(C×D)=(A∩C)×(B∩D).(A×B)∩(C×D)=(A∩C)×(B∩D).
6. (A×B)∪(C×D)=(A∪C)×(B∪D).(A×B)∪(C×D)=(A∪C)×(B∪D).
permalink

1.2.7 Cuantificadores
permalinkParaintroducir el concepto de cuantificadores, es importante enfatizar de que estos
últimos no se emplean con proposiciones lógicas. Se utilizan con "afirmaciones abiertas"
denominadas funciones proposicionales. Para tales afirmaciones, carece de sentido
preguntarse cual es su valor de verdad.

permalinkNoobstante; al combinar una función proposiconal con cuantificadores, se obtiene

una proposición lógica que posee un valor de verdad.
permalink
Ejemplo 1.2.51.

Son ejemplos de funciones proposicionales

a. p(x):xp(x):x es mujer.
b. q(x):x=π.q(x):x=π.
c. r(x):xr(x):x es un divisor de 20.
d. s(x,y,z,n):xn+yn=zn.s(x,y,z,n):xn+yn=zn.

permalinkAcontinuación, exhibimos los distintos tipos de cuantificadores combinados con

funciones proposicionales.
permalink
Definición 1.2.52.
(Cuantificador Universal) Sea p(x)p(x) una función proposicional y AA un conjunto. La
expresión (∀ x∈A) p(x)(∀ x∈A) p(x) se lee "para todo x∈A,x∈A, se
cumple p(x)p(x)". ∀,∀, es el cuantificador universal.permalink
Ejemplo 1.2.53.

Sea A=RA=R y p(x):x+2=5.p(x):x+2=5. Entonces (∀ x∈A) p(x)(∀ x∈A) p(x) es falsa.
Esto, pues p(1)=3≠5.p(1)=3≠5.
Se debe hacer énfasis de que en presencia del cuantificador universal, basta que un
valor x∈Ax∈A no cumpla p(x);p(x); para que la expresión (∀ x∈A) p(x)(∀ x∈A) p(x) sea
falsa.
permalink
Ejemplo 1.2.54.

Sea A=RA=R y q(x):x2−1=(x−1)⋅(x+1).q(x):x2−1=(x−1)⋅(x+1). Entonces (∀ x∈A) q(x)
(∀ x∈A) q(x) es verdadera.
permalink
Definición 1.2.55.
(Cuantificador Existencial) Sea p(x)p(x) una función proposicional y AA un conjunto. La
expresión (∃ x∈A) p(x)(∃ x∈A) p(x) se lee "existe x∈A,x∈A, tal que se
cumple p(x)p(x)". ∃,∃, es el cuantificador existencial.permalink
Ejemplo 1.2.56.

Sea A=RA=R y p(x):x+1=8.p(x):x+1=8. Entonces (∃ x∈A) p(x)(∃ x∈A) p(x) es
verdadera. Esto, pues p(7)=8=8.p(7)=8=8.
Se debe hacer énfasis de que en presencia del cuantificador existencial, basta que un
valor x∈Ax∈A si cumpla p(x);p(x); para que la expresión (∃ x∈A) p(x)(∃ x∈A) p(x) sea
verdadera.
permalink
Ejemplo 1.2.57.

Sea A=RA=R y q(x):x2+1=0.q(x):x2+1=0. Entonces (∃ x∈A) q(x)(∃ x∈A) q(x) es falsa.
permalink
Definición 1.2.58.
(Cuantificador de Existencia y Unicidad) Sea p(x)p(x) una función proposicional y AA un
conjunto. La expresión (∃! x∈A) p(x)(∃! x∈A) p(x) se lee "existe un único x∈Ax∈A tal
que se cumple p(x)p(x)". ∃!,∃!, es el cuantificador de existencia y unicidad.

Adicionalmente, el cuantificador de existencia y unicidad se puede definir como

(∃!x)p(x)⇔[∃x p(x)]∧[∀x ∀y(p(x)∧p(y)⇒x=y)].(∃!x)p(x)⇔[∃x p(x)]∧[∀x 
∀y(p(x)∧p(y)⇒x=y)].
permalink
Ejemplo 1.2.59.

Sea A={−1,1,2,3}A={−1,1,2,3} y p(x):x2=x.p(x):x2=x. Entonces (∃! x∈A) p(x)(∃! x∈A) 
p(x) es verdadera. Solo 11 verifica 12=1.12=1.
permalink
Ejemplo 1.2.60.

Del Ejemplo 1.2.61,

sea A={0,1,2,3}A={0,1,2,3} y p(x):x2=x.p(x):x2=x. Entonces (∃! x∈A) p(x)(∃! x∈A) p(
x) es falsa. 00 y 11 verifican 02=002=0 y 12=1.12=1. Este hecho contradice la unicidad del
cuantificador.
permalink
Definición 1.2.61.
(Negación de Cuantificadores) Sea p(x)p(x) una función proposicional. Se define la
negación de los cuantificadores
1. ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯(∀ x∈A) p(x)⇔(∃ x∈A) ¯¯¯¯¯¯¯¯¯¯p(x).(∀ x∈A) p(x)¯⇔(∃ 
x∈A) p(x)¯.
2. ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯(∃ x∈A) p(x)⇔(∀ x∈A) ¯¯¯¯¯¯¯¯¯¯p(x).(∃ x∈A) p(x)¯⇔(∀ 
x∈A) p(x)¯.
3. ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯(∃! x∈A) p(x)⇔(∀x ¯¯¯¯¯¯¯¯¯¯p(x))∨[∃x ∃y,
(p(x)∧p(y)∧x≠y)].(∃! x∈A) p(x)¯⇔(∀x p(x)¯)∨[∃x ∃y,(p(x)∧p(y)∧x≠y)].
permalink
Ejemplo 1.2.62.

Consideremos la función proposicional

p(x,y):∀x∈R,∃y∈R:x⋅y=4.p(x,y):∀x∈R,∃y∈R:x⋅y=4.
Determinaremos la veracidad o falsedad de p(x,y)p(x,y) y la
negación ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯p(x,y).p(x,y)¯.
La función proposicional es falsa, ya que si x=0x=0 entonces no existe ningún y∈Ry∈R tal
que x⋅y=4.x⋅y=4. La negación es:
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯p(x,y):∃x∈R,∀y∈R:x⋅y≠4.p(x,y)¯:∃x∈R,∀y∈R:x⋅y≠4.
permalink
Ejercicio 1.2.63.

Considere la función proposicional

p(n,m):∃n∈Z,∀m∈Z:n⋅m=0.p(n,m):∃n∈Z,∀m∈Z:n⋅m=0.
Determine la veracidad o falsedad de p(n,m)p(n,m) y la negación ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯p(n,m).