Ejercicio 11:
Probar las leyes de identidad y de dominación del algebra de conjuntos.
a)A ⋃ ∅ = A
b)A ⋂ U = A
a)A ⋃ ∅ = A
X ∊ A ⋃ ∅ ↔ ( x ∊ A)
∨ (x ∊ ∅) [Definición de unión]
↔
( x ∊ A) V (0)
↔
x ∊ A [Identidad]
b)A ⋂ U = A
X ∊ A ⋂ U ↔ x
∊ A ∧ x ∊ U
[Definición de intersección]
↔
x ∊ A ∧ 1
↔
x ∊ A [Identidad]
No hay comentarios:
Publicar un comentario