A afirmação “Existe homem que não é bípede” é a negação lógica da afirmação contida na alternativa:
Todo bípede é homem.
Todo homem é bípede.
Nem todo bípede não é homem.
Nem todo homem não é bípede.