Reescreva as seguintes proposições usando a notação de conjunto.
não é um subconjunto de
.
Passo 1
Beleza, o enunciado é curto: “
não é um subconjunto de
”. Isso cai na matéria de teoria de conjuntos, mais especificamente na definição de subconjunto. Para resolver vamos precisar:
- Saber o que significa
em notação lógica. - Aplicar a negação dessa definição.
Passo 2
Primeiro, lembra que por definição
significa
Ou seja, “para todo
, se
está em
então
também está em
”.
Passo 3
Agora queremos dizer que
não é subconjunto de
. Ou seja, estamos negando a afirmação acima. A negação de
é, pela lógica,
E a implicação negada vira