A negação da proposição quantificada “Todo estudante de medicina é curioso” é a sentença:

Gabarito

B

Comentário do professor

Quantificador universal: a sentença "Todo estudante de medicina é curioso" pode ser escrita como \( \forall x\,(M(x)\to C(x)) \), isto é, para todo x, se x é estudante de medicina então x é curioso.

Negaçăo: a negação de um enunciado universal transforma-se em uma afirmação existencial com a negaçăo do predicado. Formalmente, \( \neg\forall x\,(M(x)\to C(x))\equiv\exists x\,\neg(M(x)\to C(x))\equiv\exists x\,(M(x)\land\neg C(x)) \). Assim obtém‑se que existe pelo menos um estudante de medicina que não é curioso.

Intuitivamente, basta um contraexemplo para invalidar um "todo". Portanto a tradução correta em linguagem natural é "Existe estudante de medicina que não é curioso."