Questão de Raciocínio Lógico — Quantificadores — FGV 2025

Negação de Quantificadores

Gabarito: letra E. A negação lógica de "Todos os táxis desta cidade são brancos" é "Pelo menos um táxi desta cidade não é branco", conforme a regra: troca-se o quantificador universal (∀) pelo existencial (∃) e nega-se o predicado.

A banca testa o conhecimento básico da negação de proposições quantificadas. A afirmação original é uma proposição universal afirmativa: “Todo A é B”. Sua negação é uma proposição particular negativa: “Algum A não é B” (ou “Existe A que não é B”).

Alternativa A — ❌ Incorreta

Afirma “Nenhum táxi desta cidade é branco”. Isso seria a negação de “Algum táxi é branco”, não de “Todos são brancos”. A negação correta exige o quantificador existencial (“pelo menos um”) com predicado negado, não o quantificador universal negativo.

Alternativa B — ❌ Incorreta

Diz “Todos os táxis desta cidade são amarelos”. Trata-se de uma nova proposição, não de uma negação lógica da original. A cor não é alterada na negação – apenas o quantificador e a verdade do predicado.

Alternativa C — ❌ Incorreta

“Os táxis desta cidade possuem diversas cores” é uma afirmação vaga e não corresponde à negação formal. A negação deve ser uma proposição quantificada que contradiga a original de forma precisa.

Alternativa D — ❌ Incorreta

“Pelo menos um táxi desta cidade é amarelo” mantém o quantificador existencial correto (“pelo menos um”), mas nega o predicado errado: deveria negar “branco”, não trocar para “amarelo”. A negação do predicado deve ser “não é branco”.

Alternativa E — ✅ Correta

“Pelo menos um táxi desta cidade não é branco” segue exatamente a regra: quantificador universal → existencial (“todos” → “pelo menos um”) e predicado negado (“são brancos” → “não é branco”).