\[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.

Lo hice asi, no te aseguro que este bien, pero calculo que te puede servir



PD: sacale el Paratodo x e A del principio asi queda mejor. Suerte

no lo puedo ver

si es una imagen de tu compu tenes q adjuntarla al post en edicion completa abajo y despues subirla

gracias por tu respuesta igual