Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Demostrar:
( A B) A B
Por demostrar:
i)
( A B) A B
a. b. c. d. e. f. g.
x ( A B)
x ( A B)
x ( A B)
x ( A B) x ( A B) ( A B) ( A B)
por f
ii)
A B ( A B)
a. b. c. d. e. f.
x ( A B)
x A xB
x ( A B) x ( A B)
x ( A B) x ( A B) ( A B) ( A B)
por e
Entonces
( A B) A B
por i y ii
Demostrar:
( A B) A B
Por demostrar
i)
( A B) A B
a. b. c. d. e. f. g.
x ( A B) x ( A B)
x ( A B)
x ( A B) x ( A B) ( A B) ( A B)
por f
ii)
A B ( A B)
a. b. c. d. e. f. g.
x ( A B)
por hiptesis
x ( A B) x ( A B)
x ( A B) x ( A B)
( A B) ( A B)
por f
Entonces
( A B) ( A B)
por i y ii