Reescreva as seguintes proposições usando a notação de conjunto.
F não é um subconjunto de G.

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
A subset B
significa
forall x,(xin A ;Rightarrow; xin B)
Ou seja, “para todo , se está em então também está em ”.

Passo 3

Agora queremos dizer que forall x,(xin F ;Rightarrow; xin G) não é subconjunto de exists x;negl(xin F ;Rightarrow; xin Gr) . Ou seja, estamos negando a afirmação acima. A negação de
exists x,(xin F ;wed>=; xnotin G)
é, pela lógica,
E a implicação negada vira

Resposta

Fnotsubset G Long<=ftrightarrow exists x,(xin F ;wed>=; xnotin G)

Exercícios relacionados