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