Lógica Computacional

Teoría de Conjuntos
Teoría de Conjuntos 01 Concepto

02 Inclusión

CONTENIDO 03 Operaciones

04 Familias
 01
Teoría de Conjuntos
Concepto
Teoría de Conjuntos 01: Concepto

Noción Básica
Consideramos como “primitivas” (no necesitan explicación) las siguientes nociones: elemento, conjunto,
pertenencia (∈). Desde un punto de vista intuitivo parece ser que cualquier colección de objetos puede
ser considerado un conjunto. Sin embargo esto no es así, ya que de lo contrario se llega a paradojas.

Notación Diagrama de Venn (Notación Gráfica)

Conjunto = Letras Mayúsculas (A, B, C) A ab

Elemento = Letras Minúsculas (a, b, c)
cd
Pertenecia = a∈A
No Pertenencia = a∉A
Determinación de Conjuntos
Nota = La repetición de elementos dentro de un
conjunto no es tomado en cuenta, solo se contará 1
• Extensión = Se enumeran todos los elementos que los
elemento.
conforman.
B = {0, 2, ,4 ,6, 8}
Ejemplo:
M = {Caracas, Barinas, Apure, Zulia}
A = {a,b,c,d}
• Comprensión = Hay una proposición que caracteriza sus
B = {a,a,b,c,d}
elementos.
A=B
D = {Los enteros pares}
N = {x ∈ N | x2 - 1 = 0} = {1}
Teoría de Conjuntos 01: Concepto

Conjunto Universal
Es el conjunto “Referencial” en el cual se cotempla todos los elementos que conforman nuestro ámbito
de estudio. Lo denotamos con U.

Conjunto Vacío
Es el conjunto que no posee elementos. Se denota con Ø

Conjunto Finito e Infinito

Finito es aquel que posee una cantidad limitada de elementos, de lo contrario será infinito.

Cardinalidad de un Conjunto
En la cantidad de elementos que posee un un conjunto finito. Se denota con |A|.
Ejemplo:
A = {1,2,3,4,5} |A| = 5
Teoría de Conjuntos 01: Concepto

Conjunto Unitario
Es el conjunto que posee un único elemento.
Ejemplo:
A = {1} B = {{2}} C = {Ø}

Conjuntos Numéricos Especiales

Naturales(N) = {0,1,2,3 ...}
Enteros(Z) = { ... -3,-2,-1,0,1,2,3...}
Racionales(Q) = {a/b | a,b ∈Z y b≠0 }
Irracionales(I) = {Decimales no periódicos} {¶,√2 ..}
Reales(R) = {Q∪I}

Z+ = Enteros positivos
Z- = Enteros negativos
Z* = Enteros sin el cero
 02
Teoría de Conjuntos
Inclusión
Teoría de Conjuntos 02: Inclusión

Inclusión - SubConjunto
Sean A, B conjuntos. Se dice que A es un subconjunto de B si y sólo si cada elemento de A es un
elemento de B. Se denota por: A ⊆ B.
A ⊆ B ↔ (∀x , x ∈ A → x ∈ B)

Ejemplo:

A = {0, 2}
B = {-2, 0, 2}
C = {0}
D = R Números reales
E = {0}

¿Quién contiene a quién? Obtener todas las contenciones.

A⊆D,A⊆B
B⊆D
C⊆D, C⊆A, C⊆B, C⊆E
E⊆D, E⊆A, E⊆B, E⊆C
Teoría de Conjuntos 02: Inclusión

Propiedad 1 - Reflexividad
Todo conjunto esta contenido dentro de si mismo. A ⊆ A.
A ⊆ A ↔ (∀x , x ∈ A → x ∈ A)

Propiedad 2 - Transitividad B
A
A ⊆ B∧B ⊆ C → A ⊆ C

Propiedad 3 - AntiSimétrica
A ⊆ B∧B ⊆ A → A = B

Propiedad 4
Para todo conjunto A se cumple que Ø⊆A
Teoría de Conjuntos 02: Inclusión

Igualdad de Conjuntos
Sean A, B conjuntos. Diremos que A = B si y sólo si tienen los mismos elementos.
A = B ↔ (∀x , x ∈ A ↔ x ∈ B)

SubConjunto Propio
A es subconjunto propio de B si y sólo si:

1. A⊆B
2. A≠B

Se denota como A ⊂ B
Teoría de Conjuntos 02: Inclusión

Inclusión Ejemplo
A continuación un ejemplo.

Ejemplo:

Sea A = {1, b, {Ø}, {1,3}, {b,1,a}}. Verificar sin son verdaderas o falsas las siguientes afirmaciones:

• b∈A (Verdadero)
• {b,1,a}⊆A (Falso)
• Ø⊆A (Verdadero por propiedad)
• {1}∈A (Falso)
• {b,1}⊆A (Verdadero)
• Ø∈A (Falso)
• {{Ø}}⊆A (Verdadero)
 03
Teoría de Conjuntos
Operaciones
Teoría de Conjuntos 03: Operaciones

U
Unión A B
A∪B, es el conjunto de los elementos que pertenecen a A o a B.

Intersección U
A B
A ∩ B, es el conjunto de los elemento que pertenecen a A y a B.

Diferencia U
A - B, es el conjunto de los elementos que pertencen a A pero no a B. A B

Diferencia Simétrica U
A B
A Δ B, es el conjunto de los elementos que pertencen a A ó (exclusiva) a B.

A Δ B = (A - B) U (B - A)
A Δ B = (A∪B) - (A ∩ B)
Teoría de Conjuntos 03: Operaciones A U

Complemento de un Conjunto AC

Sea A un conjunto. Diremos que el complemento de A está conformado por los elementos del universo U
que no están en A. Se denota por: AC
AC = U - A
Ejemplo de operaciones entre conjuntos:

U = {1,2,3,4,5,6,7,8,9}
A = {Números Pares} = {2,4,6,8}
B = {Números Primos} = {2,3,5,7}
C = {Múlitplos de 3} = {3,6,9}

Obtener:

A∪B = {2,3,4,5,6,7,8} AC - B = {1,9} AC = {1,3,5,7,9}

A∪C = {2,3,4,6,8,9} (A Δ C)C = {1,5,6,7}
A - B = {4,6,8}
C - B = {6,9}
B ∩ C = {3}
A ∩ B= {2}
A Δ B = {3,4,5,6,7,8}
B - C = {2,5,7}
A Δ C = {2,3,4,8,9}
Teoría de Conjuntos 03: Operaciones

Propiedades de las operaciones entre Conjuntos

Conmutativa A∪B = B∪A Absorción A ∩ (A∪B) = A
A∩B=B∩A A ∪ (A ∩ B) = A
AΔB=BΔA
A-B=B-A → A=B
Asociativa A∪(B∪C) = (A∪B)∪C Diferencia C A - B = A ∩ BC
A ∩ (B ∩ C) = (A ∩ B) ∩ C B
A-A=Ø
A
A Δ (B Δ C) = (A Δ B) Δ C
A - (B - C) = (A - B) - C NO SE
CUMPLE
Neutro A∪Ø = A Diferencia Simétrica A Δ U = AC
A∩U=A AΔØ=A
AΔØ=A AΔA=Ø
A Δ AC = U
Complemento (AC)C = A A ∩ AC = Ø A∪AC = U
Morgan (A∪B)C = AC ∩ BC
(A ∩ B)C = AC∪BC
Distributiva A ∩ (B∪C) = (A ∩ B)∪(A ∩ C)
A∪(B ∩ C) = (A∪ B) ∩ (A∪C)
Teoría de Conjuntos 03: Operaciones

Conjuntos Ejemplos
A continuación algunos ejemplos.

Demostrar las siguientes expresiones:

• (A − B) − C = A − (B ∪ C)

Partiendo de:
(A − B) − C = (A ∩ BC) - C Diferencia
= (A ∩ BC) ∩ CC Diferencia
= A ∩ (BC ∩ CC) Asociativa
= A ∩ (B∪C)C Morgan
= A − (B ∪ C) Diferencia

• (AC∪B) ∩ (A ∩ B)C = AC

Partiendo de:
(AC∪B) ∩ (A ∩ B)C = (AC∪B) ∩ (AC∪BC) Morgan
= AC∪(B ∩ BC) Distributiva
= AC∪Ø Complemento
= AC Neutro
 04
Teoría de Conjuntos
Familias
Teoría de Conjuntos 04: Familias

Familias de Conjuntos
Se define familia a los conjuntos de conjuntos.
A = { {1,4}, {2,3}, {1,2} }
B = { N, Z, Q, R }
C = { {1}, 1, {1,2} } No es una Familia porque uno de sus elementos no es un conjunto.

Conjunto Potencia
Sea A un conjunto. Diremos que el conjunto potencia o conjunto de partes de A es la familia de todos los
subconjuntos de A. Se denota 2A o P(A).
P(A) = { x | x ⊆ A}
|P(A)| = 2n n = |A|

Propiedades:
1. Ø ∈ P(A)
2. A ∈P(A)

Ejemplo:
A = { a ,b, c }
P(A) = { Ø, A, {a}, {b}, {c}, {a,b}, {b,c}, {a,c}}
|P(A)| = 23 = 8
Teoría de Conjuntos 04: Familias

Partición de un Conjunto
Sea A un conjunto. Diremos A es la partición de A si es la familia de subconjuntos no vacíos de A
{A1,A2,A3...An} que satisface las siguientes condiciones:

1. A = A1∪A2∪A3∪...An
2. Ai ∩ Aj = Ø Si i≠j

Ejemplo:
A = {1,2,3,4,5}
A1 = { {1,2}, {3,4}, {5}}
A2 = { {1,2,3}, {4,5}}
A3 = { {1}, {2}, {3}, {4}, {5} }