Question

Lógica avançada

Qual a interpretação correta da sentença abaixo
∀X∃Y ∀z(z ∈ Y ↔ ∃W(z ∈ W ∧ W ∈ X)
??

Answer 1

Resposta:

Olá,

Explicação:

Essa sentença é chamada de Axioma da União, que diz o seguinte:

Existe um conjunto cujo os elementos são elementos dos elementos de uma família de conjuntos.

Esse conjunto é chamado de união. Dada uma família C de conjuntos  podemos escrever ∪C onde ∪ é usado para denotar a união da coleção.

Com isso, podemos obter o seguinte:

Se a ∈ A e  b ∈ B, então existe o  conjunto ∪ {a, b}. Tal conjunto seria simplesmente traduzido para a∪b. Um exemplo simples de aplicação desse axioma é que ∪{A} = A.

Bons estudos.

Answer 2

Resposta:

Olá,

Explicação:

Essa sentença trata-se do axioma da união.