Um menino conversa com seu irmão sobre os pequenos bichos da floresta e diz:
“Se tem 8 patas, não é um inseto”.
A negação lógica dessa afirmação é
Tem 8 patas e é um inseto.
Não tem 8 patas e é um inseto.
Não tem 8 patas e não é um inseto.
Se não é um inseto, então não tem 8 patas.
Se não é um inseto, então tem 8 patas.