Considere a sentença: “Todos os caninos, quando ameaçados, fogem ou atacam.” A negação lógica dessa sentença é:

Existe canino que é ameaçado e não foge nem ataca.

Todos os caninos, quando não ameaçados, não fogem nem atacam.

Todos os caninos, quando ameaçados, não fogem nem atacam.

Todos os caninos, quando ameaçados, não fogem ou não atacam.

Existe canino que não é ameaçado, mas foge ou ataca.