Está en la página 1de 2

Leyes de Morgan

Demostrar:

( A B) A B

Por demostrar:

i)

( A B) A B
a. b. c. d. e. f. g.

x ( A B)

por hiptesis por complemento

x ( A B)

x A x B por unin x A x B por complemento

x ( A B)

por unin por a y e

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

por hiptesis por complemento

x ( A B) x ( A B)

por interseccin por complemento por a y d

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)

por hiptesis por complemento

x A x B por unin x A x B por complemento

x ( A B)

por interseccin por a y e

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 x B por unin x A x B por complemento

x ( A B) x ( A B)

por unin por complemento por a y e

x ( A B) x ( A B)

( A B) ( A B)

por f

Entonces

( A B) ( A B)

por i y ii

También podría gustarte