Julgue o item a seguir, relativos a raciocínio lógico. A negação da afirmação “Todos os amigos de Bianca são naturais de São Paulo” é: “Nenhum amigo de Bianca é natural de São Paul

Gabarito

Errado

Comentário do professor

A sentença “Todos os amigos de Bianca são naturais de São Paulo” é uma proposição universal afirmativa. Em lógica de predicados, isso pode ser representado por \( \forall x\,P(x) \), onde \(P(x)\) significa "x é amigo de Bianca implica x é natural de São Paulo".

A negação de uma universal afirmativa troca o quantificador universal pelo quantificador existencial e nega o predicado, resultando numa particular negativa. Formalmente, \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x)\).

Portanto a negação correta é “Algum amigo de Bianca não é natural de São Paulo”. A proposta “Nenhum amigo de Bianca é natural de São Paulo” corresponde a \( \forall x\,\neg P(x) \), que é uma universal negativa, não à negação lógica da afirmativa original, por isso o item foi julgado ERRADO.