Alternativa A - Nenhum cachorro mia.
Análise da Questão
A questão solicita identificar uma proposição categórica que utilize um quantificador universal. Para resolver, precisamos distinguir entre quantificadores universais e existenciais na lógica formal.
Conceitos Fundamentais
- Quantificador Universal ($\forall$): Afirma algo sobre todos os membros de uma classe.
- Exemplos comuns: "Todo", "Nenhum" (negação universal), "Qualquer".
- Significado lógico: Aplica-se ao conjunto inteiro.
- Quantificador Existencial ($\exists$): Afirma que existe pelo menos um membro de uma classe com determinada propriedade.
- Exemplos comuns: "Algum", "Algumas", "Existe", "Há", "Alguém".
- Significado lógico: Aplica-se a uma parte do conjunto.
Avaliação das Alternativas
Vamos analisar o termo indicativo de quantidade em cada opção:
| Alternativa | Proposição | Quantificador Usado | Tipo |
|---|
| a | Nenhum cachorro mia. | "Nenhum" | Universal |
| b | Existe político honesto. | "Existe" | Existencial |
| c | Alguém apagou a luz. | "Alguém" | Existencial |
| d | Algum aluno gosta de lógica. | "Algum" | Existencial |
| e | Existem pessoas felizes. | "Existem" | Existencial |
Justificativa Didática
A única alternativa que utiliza um quantificador universal é a letra a. Embora "Nenhum" seja uma negação, ele funciona como um quantificador universal negativo (equivale logicamente a "Todo cachorro não mia"), abrangendo todo o universo de discurso referente aos cães.
Todas as outras alternativas (b, c, d, e) utilizam termos que denotam existência particular ("Existe", "Alguém", "Algum"), caracterizando quantificadores existenciais.
Portanto, a resposta correta é a Alternativa A.