TEOREMAS de CONJUNTOS

c c
Doble complemento (A ) =A
Reflexividad de subconjunto A A
Reflexividad de la igualdad A=A
Conmutatividad de la interseccion A B =B A
Conmutatividad de la union A B =B A
Asociatividad de la interseccion A (B C) = (A B) C
Asociatividad de la union A (B C) = (A B) C
Distribución de interseccion c/r a A (B C) = (A B) (A C)
union (A B) C = (A C) (B C)
Distribución de union c/r a A (B C) = (A B) (A C)
interseccion (A B) C = (A C) (B C)
A A =A
Idempotencia
A A =A
c c c
(A B) = A B
Leyes de De Morgan c c c
(A B) = A B
Transitividad de Subconjunto [(A B) (B C)] (A C)
Transitividad de la igualdad [(A=B) (B=C)] ( A= C)
A (A B)
A B A A B B
A U= A A =
Leyes de Absorción A U = U A = A
c c
U = = U
c c
A A = U A A =
A (A B) = A A (A B)= A
Definición de subconjunto c
A B A B =U
Definición de igualdad (A = B) [(A B) (B A)]
Modus Ponens [xЄA (A B) ] xЄB
c c
Modus Tollens [xЄB (A B) ] xЄA
Teorema Contrarrecíproco c c
(A B) (B A )
Reducción al absurdo c
(A B) [ (B A)= ]
[A (B C)] [(A B) (A C)]
Demostración por casos
[(A B)] C [ (A C) (B C)]
[ (A B ) (C D ] [(A C) (B D)]
Leyes de composición del
[ (A B ) (C D ] [(A C) (B D)]