Assinale a opção que apresenta a negação de “Toda cobra é venenosa”.

Gabarito

B

Comentário do professor

Partindo da frase original "Toda cobra é venenosa", o termo Todo funciona como quantificador universal, que afirma que para qualquer indivíduo da classe "cobra" a propriedade "ser venenosa" vale.

Em lógica, a negação de um enunciado universal obedece à equivalência \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x) \). Ou seja, negar "para todo x, P(x)" resulta em "existe x tal que não P(x)".

Aplicando isso ao caso, a negação passa a afirmar a existência de pelo menos um exemplar do conjunto "cobras" que não possui a propriedade "ser venenosa". Em linguagem natural: Alguma cobra não é venenosa.

Portanto, a alternativa correta expressa exatamente essa negação existencial.