19-06-2013, 23:45
\[A \cap B = A \Leftrightarrow A \cap \overline{B} = \varnothing\]
se me ocurrio esto pero no sirve
\[\neg \exists x: x \in (A - B)\]
\[\forall x: \neg (x \in A \wedge x \notin B)\]
\[\forall x: x \notin A \vee x \in B)\]
\[\forall x: x \notin (A \cap B) \vee x \in B)\]
\[\forall x: x \notin A \vee x \notin B \vee x \in B)\]
con la idea alcanza, no hace falta que hagan todo el ej.
se me ocurrio esto pero no sirve
\[\neg \exists x: x \in (A - B)\]
\[\forall x: \neg (x \in A \wedge x \notin B)\]
\[\forall x: x \notin A \vee x \in B)\]
\[\forall x: x \notin (A \cap B) \vee x \in B)\]
\[\forall x: x \notin A \vee x \notin B \vee x \in B)\]
con la idea alcanza, no hace falta que hagan todo el ej.