Considere a sentença:
“Todo urso branco é amigo da onça.”
A negação lógica dessa sentença é:
Nenhum urso branco é amigo da onça.
Algum urso branco não é amigo da onça.
Todo urso marrom é amigo da onça.
Nenhuma onça é amiga de urso branco.
Algum urso não é branco e é amigo da onça.
