Leyes fundamentales del algebra proposicional en

Teora de conjuntos.

La lgica clsica con la Teora de conjuntos poseen similitudes
estructurales y de aplicacin, por este motivo es que es posible
aplicar las leyes del lgebra proposicional en la teora de conjuntos.
Es posible hacer una relacin entre Unin () y Disyuncin (v) como
tambin entre Interseccin () y Conjuncin (.).







Propiedades del
complemento:
conjuntos
Lgica proposicional

(A)c= A (A) A

C = U
(falso) verdadero

U = C
(verdadero) falso
Unicidad de C:


C es nico.

Propiedades. Unin. Interseccin.
Idempotencia
A A = A A A = A
Conmutativa o simetra
A B = B A. A B = B A
Asociativa
(A B) C = A (B C) (A B) C = A (B C)
Absorcin
A (A B) = A A (A B) = A
Distributiva
A (B C) = (A B) (A C) A (B C) = (A B) (A C)
complementariedad
A A = U A A = C
Identidad
A C = A A U = A
Leyes de De Morgan


a) (A B) = A B

b) (A B) = A B


Propiedades de la diferencia de conjuntos:
A B = A B
A B _ A
A C = A
A (B A) = C
A (B A) = A B
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)


Otros teoremas tiles:
A _ B . C _ D A B _ C D
A _ B . C _ D A B _ C D
A _ B A B = B
A _ B A B = A
A B = U(x | x e U: x e A x e B)
A B = C A = C . B = C
A B = UA = U . B = U
A B = C (x |: x e A x e B)