Encontre as condições necessárias e suficientes sobre
e
que tornam verdadeiras as seguintes sentenças:
Passo 1
O enunciado pede as condições em
e
para que
O conteúdo envolvido é a definição de diferença de conjuntos e o conceito de subconjunto.
Passo 2
Pela definição,
Passo 3
Dizer que
significa que não existe elemento
que esteja em
e ao mesmo tempo não esteja em
. Em lógica isso é
Passo 4
A condição
é exatamente a definição de
.
Resposta
A condição necessária e suficiente é