Admitindo‑se que as proposições “Toda borboleta é taurina”, “Roberta é taurina” e “Sabrina é uma borboleta” são verdadeiras, julgue os itens a seguir. A negação de “Toda borboleta

Gabarito

Errado

Comentário do professor

A afirmação foi julgada ERRADO porque a negação de uma sentença do tipo “Toda borboleta é taurina” não é “Nenhuma borboleta é taurina”. Em lógica de predicados, “Todo X é Y” é uma universal afirmativa e se representa por \( \forall x\,(B(x)\rightarrow T(x)) \).

A negação é dada por \( \neg\forall x\,(B(x)\rightarrow T(x))\), que é logicamente equivalente a \( \exists x\,(B(x)\land\neg T(x)) \). Em linguagem natural: alguma borboleta não é taurina, ou seja, particular negativa.

“Nenhuma borboleta é taurina” corresponderia a \( \forall x\,(B(x)\rightarrow\neg T(x))\), que é uma afirmação distinta e mais forte, não a negação correta da original.