Essa forma de escrita é válida para complementar?

Lucas_DN684 escreveu:oJaoX,


Imagine dois conjuntos, A e B tal que:


[latex]A\cap B\neq \varnothing \, \wedge \, A\Delta B\neq \varnothing [/latex]


Seja x um elemento que pertence a A\B. O complementar de A\B em relação ao universo é conjunto ao qual todo elemento não pertence ao conjunto A ou pertence ao conjunto B. Monte um diagrama de Venn e isso será imediato. Esse resultado não foi achado por acaso, mas pode ser embasado por lógica matemática. O disposto no livro do Iezzi já é de bom tamanho ao nível de ensino médio.


Portanto, em símbolos, teríamos:


[latex]\left ( x\in A\setminus B \right )\Leftrightarrow \left ( x\in A\, \wedge\, x\notin B \right )\therefore \left ( x\notin A\setminus B \right )\Leftrightarrow \left ( x\notin A\, \vee \, x\in B \right )[/latex]