Estou tentando fazer o seguinte exercício:
Sejam


Tentei resolver da seguinte forma:
Seja, temos
, logo
e
não
.
Como, então também podemos dizer que
e
não
Daí
Então como, temos
Com isso,
Não sei se está certa essa linha de raciocínio... Se alguem puder me dar uma ajuda!
Desde já obrigado!

Ps: Não consegui demonstrar o símbolo "Não Pertence" através do LaTeX.