|
|
Línea 90: |
Línea 90: |
| :::<math> \forall x : x\in ((A \cup B)^C) \Leftrightarrow x\in (A^C \cap B^C) </math> | | :::<math> \forall x : x\in ((A \cup B)^C) \Leftrightarrow x\in (A^C \cap B^C) </math> |
| :::<math> \therefore (A \cup B)^C=A^C \cap B^C </math> | | :::<math> \therefore (A \cup B)^C=A^C \cap B^C </math> |
| | |
| | :2) <math>(A \cap B)^C=A^C \cup B^C </math> |
| | ::'''Demostración''' |
| | ::Sea un ''x'' arbitrario del conjunto universal, entonces: |
| | :::<math> x\in (A \cap B)^C \Leftrightarrow x\notin (A \cap B)</math> |
| | ::::::::<math>\Leftrightarrow \neg(x\in (A\cap B)) </math> |
| | ::::::::<math>\Leftrightarrow \neg(x\in A \wedge x\in B) </math> |
| | ::::::::<math>\Leftrightarrow x\notin A \vee x\notin B </math> |
| | ::::::::<math>\Leftrightarrow (x\in A^C) \vee (x \in B^C) </math> |
| | ::::::::<math>\Leftrightarrow x\in (A^C \cup B^C)</math> |
| | ::al ser ''x'' arbitrario |
| | :::<math> \forall x : x\in ((A \cap B)^C) \Leftrightarrow x\in (A^C \cup B^C) </math> |
| | :::<math> \therefore (A \cap B)^C=A^C \cup B^C </math> |
Revisión del 00:09 19 oct 2012
Sean
Demostrar que:
a)
Demostración
Sea entonces
b)
Demostración
c)
Demostración
d)
Demostración
Si z=a+ib, demuestre que
Demostración
a)
b)
LEYES DE MORGAN
- 1)
- Demostración
- Sea un x arbitrario del conjunto universal, entonces:
-
- al ser x arbitrario
- 2)
- Demostración
- Sea un x arbitrario del conjunto universal, entonces:
-
- al ser x arbitrario