A negação da sentença “Todo x é y” está corretamente indicada na seguinte opção:

Gabarito

A

Comentário do professor

A frase "Todo x é y" usa o quantificador universal. Em lógica de predicados, sua negação muda o tipo de quantificador e nega a propriedade atribuída.

Procedimento: troque o quantificador universal por um existencial e negue o predicado. Formalmente: \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x)\).

Aplicando ao enunciado, obtemos "Existe algum x que não é y". Aqui o verbo foi negado ("não é y") e o quantificador virou existencial ("existe/algum/pelo menos um").

Assim a alternativa A expressa corretamente a negação lógica de "Todo x é y", pois basta um único contraexemplo para invalidar a universalidade.