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