Академический Документы
Профессиональный Документы
Культура Документы
µA : X → {0, 1}
se define:
(
1, si x ∈ A
µA (x) =
0, si x ∈
/A
es decir, si µA(x) = 1, si la afirmación ”x ∈ A” es verdadera
y si µA(x) = 0, si la afirmación ”x ∈ A” es falsa.
Unión
A ∪ B = {x | x ∈ A ó x ∈ B}
Gráficamente A ∪ B:
1
Figura 1: A unión B
Intersección
A ∩ B = {x | x ∈ A y x ∈ B}
Gráficamente A ∩ B:
Figura 2: A intersección B
2
Complemento
Figura 3: Complemento de A
Diferencia
Gráficamente A | B:
3
Figura 4: A diferencia B
1. Conmutativa:
A∪B =B∪A
A∩B =B∩A
2. Asociativa:
A ∪ (B ∪ C) = (A ∪ B) ∪ C
A ∩ (B ∩ C) = (A ∩ B) ∩ C
3. Distributiva:
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C);
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
4. Idempotencia:
A∪A=A
A∩A=A
4
5. Identidad:
A∪Φ=A
A∪X =X
A∩X =A
A∩Φ=Φ
6. Doble negación:
A=A
7. Transitiva:
si A ⊆ B ⊆ C, entonces A ⊆ C
Existen dos propiedades importantes a las que llamamos leyes, la ley del
medio excluido y las leyes de Morgan.
Ley del medio exluido: incluye la ley del medio excluido y la ley de
contradicción.
A∪A=X
2. Ley de contradicción:
Representa la intersección del conjunto A y su complemento.
A∩A=Φ
Leyes de Morgan:
A∪B =A∩B
A∩B =A∪B
5
1.2.1. Ejemplo
A continuación se muestra un ejemplo en donde se comprueban algunas
de las propiedades descritas anteriormente.
Dados X = {2,3,4,5,7,10,16,19,21,22,40,115},
A = {Conjunto de los números divisibles por 2} = {2,4,10,16,22,40} y
B = {Conjunto de los números divisibles por 5} = {5,10,40,115}
hacemos las siguientes operaciones: