Lógica y Conjuntos

Leonel E. Badilla Araya

Universidad de Concepción
Departamento de Ingeniería Matemática

Matemática I

L. Badilla (UdeC) Mate 1/1

Idea de Conjunto

Idea: Llamaremos conjunto a cualquier colección bien determinada de objetos.

Se denotan por A, B, . . ..
Elemento: A los objetos los llamaremos elementos del conjunto, y se denotan por
a, b, c, . . ..
Pertenencia: Un objeto a que está en A se dice que pertenece al conjunto, lo que
se escribe a ∈ A. En caso contrario se escribe a ∈
/ A.
Conjunto Vacío y Universo: Dos conjuntos importantes son el conjunto vacío,
que no contiene elementos y se denota por φ, y el conjunto universo, que contiene
a todos los elementos y se denota por U.

L. Badilla (UdeC) Mate 2/1

Definición Formal

Dado x ∈ U y un conjunto A, subconjunto de U, se tiene la pregunta: ¿x ∈ A ∨ x ∈

/ A?.

Si esta pregunta se puede responder siempre, entonces se dice que A está bien
definido.

Los conjuntos se pueden definir de dos maneras:

Definición por Comprensión: Los elementos x de A se pueden caracterizar por
una propiedad P(x) y definir el conjunto como A = {x ∈ U : P(x)}, llamada
definición por comprensión.
Definición por Extensión: También se puede enumerar los elementos del
conjunto A = {a, b, c, . . .}, llamada definición por extensión.

L. Badilla (UdeC) Mate 3/1

Inclusión de Conjuntos

Subconjunto: Dados dos conjuntos A y B, se dice que A es subconjunto de B, o

que A está incluido en B, y se escribe A ⊆ B, si todos los elementos de A están
también en B, esto es:

A ⊆ B ⇔ [∀ x ∈ U : x ∈ A ⇒ x ∈ B]
Propiedades: Dados A, B, C conjuntos, se tiene:
φ ⊆ A ⊆ U.
A⊆A
[(A ⊆ B) ∧ (B ⊆ C)] ⇒ A ⊆ C.

L. Badilla (UdeC) Mate 4/1

Igualdad de Conjuntos

Dados dos conjuntos A y B, se dice que A y B son iguales, y se escribe A = B, si los

elementos de A y B coinciden, esto es:

A = B ⇔ (A ⊆ B) ∧ (B ⊆ A),

esto es, para un elemento x, se tiene que

[∀ x ∈ U : x ∈ A ⇒ x ∈ B] ∧ [∀ x ∈ U : x ∈ B ⇒ x ∈ A].

L. Badilla (UdeC) Mate 5/1

Operaciones entre Conjuntos

Sea U el conjunto universo, y sean A, B subconjuntos de U. Se definen las siguientes

operaciones:
a) Diferencia: La diferencia de A y B es el conjunto

A − B = {x ∈ U : x ∈ A ∧ x ∈
/ B} .

b) Complemento: El complemento de A con respecto a U, el cual se denota Ac (o

bien A0 , −A), es el conjunto U − A, vale decir

Ac = U − A = {x ∈ U : x ∈
/ A} .

c) Intersección: La intersección de A y B, la cual se denota A ∩ B, es el conjunto de

todos los elementos comunes a A y B, esto es

A ∩ B = {x ∈ U : x ∈ A ∧ x ∈ B} .

d) Unión: La unión de A y B, la cual se denota A ∪ B, es el conjunto de todos los

elementos que están en A o en B, esto es

A ∪ B = {x ∈ U : x ∈ A ∨ x ∈ B} .

L. Badilla (UdeC) Mate 6/1

Propiedades
∀ x ∈ U : [x ∈ A ∨ x ∈ Ac ].
φc = U ∧ U c = φ.
A ∪ Ac = U.
(Ac )c = A.
A ∩ Ac = φ.
A ∪ A = A, A ∩ A = A.
A ∪ B = B ∪ A, A ∩ B = B ∩ A.
L. Badilla (UdeC)
A ∪ (B ∪ C) = (A ∪ B) ∪ C.
A ∩ (B ∩ C) = (A ∩ B) ∩ C.
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C).
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
(A ∪ B)c = Ac ∩ Bc .
(A ∩ B)c = Ac ∪ Bc .
Mate 7/1
Más Definiciones

Conjuntos Disjuntos: Dos conjuntos A y B se dicen disjuntos si y sólo si

A ∩ B = φ.
Producto Cartesiano: Dados dos conjuntos no vacíos A y B, se define el
Producto Cartesiano entre ellos, el cual se denota por A × B, como el conjunto de
todos los pares ordenados (a, b) tales que a pertenece a A y b pertenece a B, esto
es
A × B = {(a, b) : a ∈ A ∧ b ∈ B} .
Dados n conjuntos no vacíos A1 , A2 , . . . , An , se define el Producto Cartesiano entre
ellos, el cual se denota por A1 × A2 × · · · × An , como el conjunto de todas las
n−uplas ordenadas (a1 , a2 , . . . , an ) tales que ai pertenece a Ai para cada
i ∈ {1, . . . , n}, esto es

A1 × A2 × · · · × An = {(a1 , a2 , . . . , an ) : ai ∈ Ai , i ∈ {1, . . . , n}} .

L. Badilla (UdeC) Mate 8/1

Cardinalidad

El número de elementos de un conjunto finito A se llama cardinalidad de A y se denota

por |A| o por Card(A).

En particular, si |A| = n, entonces |P(A)| = 2n .

Ejemplo: Si A = {x ∈ N : nes par y n < 10}, entonces su cardinalidad es |A| = 4.

Además, |P(A)| = 16.

L. Badilla (UdeC) Mate 9/1

Propiedades

1 Si A y B son conjuntos disjuntos, entonces |A ∪ B| = |A| + |B|.

2 Si A y B son conjuntos arbitrarios, entonces |A ∪ B| = |A| + |B| − |A ∩ B|.
3 Si A, B y C son conjuntos arbitrarios, entonces
|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|.

L. Badilla (UdeC) Mate 10 / 1

 Muchas Gracias

L. Badilla (UdeC) Mate 11 / 1