Determinar si el siguiente enunciado es verdadero o falso.

\[A \subseteq (A - B) \Leftrightarrow A \cap B = \emptyset\]

Yo hice:

Si \[A \subseteq A - B \], tenemos \[x \in A \Rightarrow x \in A \wedge x \not \in B\]. Asi \[x \not \in A \cap B\]

A partir de ahi, ya puedo decir que \[A \cap B = \emptyset\] ?

\[A\subseteq (A-B)\Leftrightarrow \forall x\in A : x\in (A-B)\Leftrightarrow \forall x\in A : ( x\in A \wedge x\notin B )\Rightarrow \forall x\in A :x\notin B\Leftrightarrow A\cap B= vacio \]

Off-topic:

No sale bien el símbolo de vacio

(11-05-2011 00:56)Shizus escribió:  \[A\subseteq (A-B)\Leftrightarrow \forall x\in A : x\in (A-B)\Leftrightarrow \forall x\in A : ( x\in A \wedge x\notin B )\Rightarrow \forall x\in A :x\notin B\Leftrightarrow A\cap B= vacio \]

Off-topic:

No sale bien el símbolo de vacio

Es asi este ejercicio?

Off-topic:

UP!