Documentos de Académico
Documentos de Profesional
Documentos de Cultura
5. Si A B, entonces
(a) A A C B C,
(b) A C B C B.
6. Si x A B y x 6 A, entonces x B (es decir, (A B) Ac B).
7. A B = A = B = .
Demostracion.
1. x A B x A x B x B x A x B A.
2. x A B x A x B x B x A x B A.
3. x A (B C) x A (x B x C) (x A x B) x
C x (A B) C.
4. x A (B C) x A (x B x C) (x A x B) x
C x (A B) C.
TEMA 1. CONCEPTOS BASICOS 225