O valor lógico das sentenças quantificadas abaixo I. ∀x ∈ {...

Gab: A

RESUMO:

∃ = existe pelo menos um

∄ = não existe nenhum

∃! = existe um único

∀ = Para todo ou para qualquer que seja

=> = implica

<=> = equivale

| = tal que

QUESTÃO: O valor lógico das sentenças quantificadas abaixo:

I. ∀x ∈ {0,2,4,6}, x é par.

• VERDADE. Tradução: Para todo x que pertence ao conjunto {0,2,4,6}, x é par. Perceba que, de fato, é Verdade, pois todos os números desse conjunto são pares.

II. ∃x ∈ {0,1,2,3,4,5}, x +2 > 5.

• VERDADE. Tradução: Existe pelo menos um x que pertence ao conjunto {0,1,2,3,4,5}, em que x +2 > 5. Verdade, pois tem o número 4 ou o 5, desse conjunto, que, somado com o 2, é maior (>) do que o 5.

III. ∃x ∈ {0,1,2,3}, x é primo.

• VERDADE. Tradução: Existe pelo menos um x que pertence ao conjunto {0,1,2,3}, em que x é primo. Verdade, pois o número 2 ou o 3, desse conjunto, são números primos.

o comentário do Marco Krainski é top !!!

Questão a qual a pessoa sabe o conteúdo, mas se não souber os símbolos erra.

Não entendi a primeira sentença, 0 é par?