Considere a afirmação: “Todo animal de 4 patas é mamífero”. A negação dessa afirmação é:

Gabarito

Errado

Comentário do professor

Negaçã o: a forma correta é a sentença que afirma a existência de um contraexemplo.

Logicamente, a afirmação original é \( \forall x (P(x)\rightarrow Q(x))\).

A sua negação é \( \exists x (P(x)\land \neg Q(x))\), isto é, existe pelo menos um elemento que satisfaz P e não satisfaz Q.

Aplicando ao enunciado: P = "é animal de 4 patas" e Q = "é mamífero".

Portanto a negação é: Existe animal de 4 patas que não é mamífero.

Intuitivamente, basta um contraexemplo (por exemplo, um lagarto) para tornar a afirmativa universal falsa.