Pregunta de Matemática #019f69c6
(Q57) Em determinado dia, 1.000 veículos de carga, com seus
respectivos condutores e cargas, passaram por um posto de
fiscalização
de
fronteira.
Desses,
800
estavam
com
a documentação em situação regular — o veículo, o condutor e a
carga —, e 200 apresentavam alguma irregularidade na
documentação — do veículo, do condutor ou da carga. Além
disso, as placas de todos esses 1.000 veículos foram devidamente
registradas.
Julgue o item a seguir, relativo a raciocínio lógico:
A negação da sentença “todo condutor abordado na fiscalização era brasileiro ou estrangeiro” é a seguinte sentença: “nenhum condutor abordado na fiscalização era brasileiro ou estrangeiro”.
Certo
Errado
Explicación Oficial / Explicaciones de la Comunidad
Para resolver esta questão, devemos analisar a negação de uma proposição quantificada universal (da forma "Todo A é B").
-
Negação do Quantificador "Todo":
Na lógica de predicados, a negação de "Todo A é B" (∀x(A(x)→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 é":
¬(Todo A eˊ B)≡Algum A na˜o eˊ B -
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" (∨) em "e" (∧) com ambas as partes negadas (não era brasileiro e não era estrangeiro).
-
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).