Lógica de Predicados: Quantificadores e Conjuntos
Gabarito: letra E. Todas as assertivas I, II e III são verdadeiras, pois, dado o conjunto universo , cada proposição foi verificada individualmente. A assertiva I () é válida para todos os elementos; a assertiva II () é verdadeira (existem elementos e ); e a assertiva III () também é verdadeira (existem elementos e ). Portanto, a alternativa E (I, II e III) é a correta.
A banca testa a compreensão dos quantificadores universal () e existencial (). Para verificar uma afirmação com , é necessário que a condição seja satisfeita para todos os elementos do conjunto; para , basta que pelo menos um elemento satisfaça.
Elemento (x) | x²+1 | x²+1 ≤ 2 (I) | x < 1 (II) | x²+1 ≥ 2 (III) |
|---|
-1 | 2 | V | V | V |
0 | 1 | V | V | F |
1 | 2 | V | F | V |
Assertiva I — ✅ Correto
A sentença afirma que para todo , .
: → verdade.
: → verdade.
: → verdade.
Como todos os elementos satisfazem, a assertiva é verdadeira.
Assertiva II — ✅ Correto
A sentença afirma que existe algum tal que .
: → verdade.
: → verdade.
: → falso.
Como pelo menos um elemento (de fato, dois) satisfaz, a assertiva é verdadeira.
Assertiva III — ✅ Correto
A sentença afirma que existe algum tal que .
: → verdade.
: → falso.
: → verdade.
Como pelo menos um elemento satisfaz, a assertiva é verdadeira.
Análise das alternativas
Alternativa A — ❌ Incorreta
Afirma "Apenas I", mas II e III também são verdadeiras.
Alternativa B — ❌ Incorreta
Afirma "Apenas I e II", mas III também é verdadeira.
Alternativa C — ❌ Incorreta
Afirma "Apenas I e III", mas II também é verdadeira.
Alternativa D — ❌ Incorreta
Afirma "Apenas II e III", mas I também é verdadeira.
Alternativa E — ✅ Correta ⟵ GABARITO
Afirma "I, II e III", que são todas verdadeiras.
Gabarito: letra E.