Questão de Matemática #019f69c6

Para resolver esta questão, devemos analisar a negação de uma proposição quantificada universal (da forma "Todo A é B").

1. Negação do Quantificador "Todo":
   Na lógica de predicados, a negação de "Todo $A$ é $B$" ($\forall x(A(x)\to B(x))$) não é "Nenhum $A$ é $B$".
   Para negar que todos os elementos têm uma propriedade, basta encontrar pelo menos um elemento que não a tenha.
   Portanto, a negação de "Todo" é "Pelo menos um / Algum / Existe pelo menos um... que não é":
   $\neg (\text{Todo }A\text{ eˊ }B)\equiv \text{Algum }A\text{ na˜o eˊ }B$

2. Aplicando ao caso prático:

   • Proposição original: “Todo condutor abordado na fiscalização [era brasileiro ou estrangeiro]”
   • Negação correta: “Algum condutor abordado na fiscalização não era brasileiro e não era estrangeiro” (ou "pelo menos um condutor...").
   • Nota complementar: Ao negar a parte interna "brasileiro ou estrangeiro", aplicamos a Lei de De Morgan, transformando o "ou" ($\vee$) em "e" ($\wedge$) com ambas as partes negadas (não era brasileiro e não era estrangeiro).

3. Análise do item:
   O item afirma que a negação é "Nenhum condutor abordado na fiscalização era brasileiro ou estrangeiro". Como "Nenhum" é outro quantificador universal, ele não serve como negação de "Todo". "Todo" e "Nenhum" são proposições contrárias, mas não contraditórias (negações diretas).

Portanto, a afirmação apresentada está incorreta (Errado).