Question

LÓGICA

Qual o significado da sentença

∃x∀y¬(y ∈ x)

?

Answer 1

Resposta:

Olá,

Explicação:

Essa sentença é um dos axiomas da teoria dos conjuntos (Axiomas de Zermelo-Fraenkel). Tal sentença pode ser traduzida pela frase:

" Existe um conjunto que não possui elementos. "(*)

Utilizando o axioma da extensionalidade

∀x(x ∈ A ↔ x ∈ B) → A = B

decorre que existe um único conjunto, chamado de vazio, que terá a propriedade (*)

Bons estudos