Facultad de Ciencias Exactas, Ingenierı́a

y Agrimensura (FCEIA - UNR)

Tecnicatura Universitaria en Inteligencia Artificial
Lógica

Unidad 1: Teorı́a de Conjuntos

Definiciones:
Llamamos conjunto a una colección de objetos.
A cada objeto lo llamamos elemento. Si un elemento x está en un conjunto X, decimos que es miem-
bro del conjunto y escribimos x ∈ X (x “pertenece”a X), sino x ∈ / X (x “no pertenece”a X).

Podemos representar un conjunto de diversas maneras,

Por extensión: listamos los elementos entre llaves. Ejemplos: {1, 3, 5, 4}, {a, b, z}
Por comprensión: indicamos las propiedades que debe cumplir un objeto para ser elemento
del conjunto. Ejemplos:
{x | x es entero par, x > 0},
{x2 | x es natural}
A través de un diagrama de Venn:

Propiedades:
No importa el orden de los elementos.
Los elementos que lo forman son distintos.

Definiciones:
Conjunto vacı́o: Llamamos conjunto vacı́o al conjunto sin elementos (o nulo), lo denotamos como ∅
o {}.
Igualdad de conjuntos: Decimos que dos conjuntos X e Y son iguales si tienen los mismos elementos.
Es decir, para cada x ∈ X, x ∈ Y ; y para cada x ∈ Y , x ∈ X.
Subconjuntos: Sean X e Y conjuntos, si todo elemento de X pertenece a Y , decimos que X es un
subconjunto de Y y escribimos X ⊆ Y . Además, si X ⊆ Y y X ̸= Y , llamamos a X subconjunto
propio de Y y escribimos X ⊂ Y .
Ejemplo: el conjunto {1, 3, 5, 4} ⊂ N

Observación:
Sean X e Y conjuntos, se tiene que:

2023 1/7
 X=Y si y solo si X⊆Y yY ⊆X

Ejercicio: Dados los conjuntos A = {1, 2, 3, 4} y B = {x | x ∈ N ∧ x ≤ 5}

1. Determinar si los conjuntos A y B son iguales.

2. Dar dos subconjuntos de B. ¿Son subconjuntos propios?

Definiciones:
Llamamos cardinal de un conjunto cualquiera A, a la cantidad de elementos del mismo y lo denotamos
con |A|.
Ejemplos: |∅| = 0 |{1, 2, 4}| = 3
Llamamos conjunto potencia de X al conjunto que contiene todos los subconjuntos de X, lo denota-
mos como P (X).
Ejemplo: P ({1, 2, 3}) = {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}

Observaciones:
Para A conjunto finito, se tiene que |P (A)| = 2|A| . Es decir, que A tiene 2|A| subconjuntos.
La fórmula se obtiene al contar las distintas formas de construir un subconjunto cualquiera
de A = {x1 , x2 , ...; xn }. Podemos pensar que esta construcción consta de n pasos sucesivos: se
elige o no se elige x1 , se elige o no se elige x2 , ..., se elige o no se elige xn . Cada paso se puede
realizar de dos maneras, por lo que el número de subconjuntos es 2,2..,2 = 2n
Sea A un conjunto finito de cardinalidad n, la cantidad de subconjuntos de A de tamaño k
n!
(con k < n) es C(n, k) =
k!(n − k)!
Para contarlos contamos de cuántas formas distintas podemos seleccionar k elementos de un
conjunto de n elementos.
Ejemplo: Si A = {a, b, c, d}, los subconjuntos de A, de 2 elementos son:

{a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d}
4! 4!
y la cantidad de subconjuntos de 2 elementos es C(4, 2) = = = 6.
2!(4 − 2)! 2!2!

Ejercicios:
1. ¿De cuántas formas distintas podemos elegir 3 delegados para este curso?
2. Sea S = {1, 2, 3, · · · , 29, 30}. ¿Cuántos subconjuntos A de S satisfacen

a. | A |= 5?
b. | A |= 5 y que el mı́nimo elemento de A sea 5?
c. | A |= 5 y que el mı́nimo elemento de A sea menor que 5?

2023 2/7
Definiciones:
En ocasiones, se trata con conjuntos donde todos son subconjuntos de un conjunto U. A este conjunto
U lo llamamos conjunto universal o universo. El conjunto U debe estar dado explı́citamente o poder
inferirse del contexto.
Los diagramas de Venn son usados para mostrar conjuntos por medio de lı́neas cerradas, donde:
Un rectángulo describe el conjunto universal.
Los subconjuntos de este se dibujan como cı́rculos.

Sean A, B ⊆ U, definiremos las siguientes operaciones sobre conjuntos:

Unión de A y B:
A ∪ B = {x | x ∈ A o x ∈ B}

Ejemplo: Sean A = {a, b, c} y B = {z, x, w, a}. A ∪ B = {a, b, c, z, x, w}.

Intersección de A y B:
A ∩ B = {x | x ∈ A y x ∈ B}

Ejemplo: Sean A = {a, b, c} y B = {z, x, w, a}. A ∩ B = {a}.

Resta de A y B:
A − B = {x | x ∈ A y x ∈
/ B}

2023 3/7
 Ejemplo: Sean A = {a, b, c} y B = {z, x, w, a}. A − B = {b, c}.
Diferencia simétrica de A y B:

A△B = {x | (x ∈ A o x ∈ B) y x ∈
/ A ∩ B}

Ejemplo: Sean A = {a, b, c} y B = {z, x, w, a}. A△B = {b, c, z, x, w}.

Ejercicios:
1. Verificar con diagrama de Venn que:

A△B = (A ∪ B) − (A ∩ B) = (A − B) ∪ (B − A)

2. Sea A = {1, 2, 3, 4, 5}, B = {1, 5, 10} y C = {6, 7, 8}, calcular:

a. A ∪ B
b. A ∪ B ∪ C
c. A ∩ B
d. A ∩ C
e. B△C
f. A△B
g. B − A
h. A − B

Definición:
Dos conjuntos A y B son disjuntos si tienen intersección vacı́a.

Teorema: Sean A, B ⊆ U, entonces:

A y B son disjuntos si y solo si A ∪ B = A△B

2023 4/7
Demostración: no la veremos en clase, pueden encontrarla en la página 158 del libro Matemática
Discreta y Combinatoria (Grimaldi, 1998).

Definición:
Llamamos complemento de un conjunto A ⊆ U, al conjunto de todos los elementos de U que no estén
en A, y lo denotamos con A. Es decir:

A = {x | x ∈ U y x ∈
/ A}

Propiedades:
Ley del doble complemento: A = A

Leyes de De Morgan: A ∩ B = A ∪ B
A∪B =A∩B

Propiedades de idempotencia: A ∩ A = A
A∪A=A

Propiedades del neutro A∪∅=A

A∩U =A

Propiedades del inverso: A ∪ A = U

A∩A=∅

Propiedades de dominación: A∪U =U

A∩∅=∅

Propiedades de absorción: A ∪ (A ∩ B) = A
A ∩ (A ∪ B) = A

Propiedades conmutativas: A ∪ B = B ∪ A
A∩B =B∩A

Propiedades asociativas: A ∪ (B ∪ C) = (A ∪ B) ∪ C
A ∩ (B ∩ C) = (A ∩ B) ∩ C

2023 5/7
 Propiedades distributivas: A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

Ejemplos:

Simplifiquemos la expresión ((A ∪ B) ∩ C) ∪ B

Razones
((A ∪ B) ∩ C) ∪ B

((A ∪ B) ∩ C) ∩ B Ley de De Morgan

((A ∪ B) ∩ C) ∩ B Doble complemento

((A ∪ B) ∩ C) ∩ B Doble complemento

(A ∪ B) ∩ (C ∩ B) Asociativa de ∩

(A ∪ B) ∩ (B ∩ C) Conmutatividad de ∩

((A ∪ B) ∩ B) ∩ C Asociatividad de ∩

B∩C Absorción

Simplifiquemos la expresión ((A ∪ U) ∩ A) ∩ A

Razones
((A ∪ U) ∩ A) ∩ A

((A ∪ U) ∩ A) ∪ A Ley de De Morgan

((A ∪ U) ∩ A) ∪ A Doble complemento

(U ∩ A) ∪ A Propiedades de dominación

A∪A Ley del neutro

U Propiedades del inverso

Ejercicio:
Completar dando las razones:

2023 6/7
 Razones
(A ∪ C ∩ C) ∪ A

((A ∩ C) ∩ C) ∪ A

(A ∩ (C ∩ C)) ∪ A

(A ∩ ∅) ∪ A

∅∪A

2023 7/7