Considere a seguinte afirmação: Todo homem é bípede e mamífero. A alternativa que apresenta uma negação lógica para essa afirmação é:

Nenhum homem é bípede e mamífero.

Nenhum homem é bípede ou mamífero.

Existe homem que não é bípede ou não é mamífero.

Existe homem que não é bípede e não é mamífero.

Alguns homens são bípedes e mamíferos.