Complemento de un conjunto
Se supone que
Se define un conjunto señalado como
denominado complementario de
en
:
compl
Enlace con el conector "no"
Si el subconjunto
de
se define por la propiedad
entonces, su complementario es definido por la propiedad
compl3
Propiedad :
y
son dos subconjuntos de
Utilizando las leyes de Morgan y las otras propiedades lógicas, demostrar que:
1.
compl5
compl4
2.
compl1
compl2
3.
4.
5.
6.
