Assinale a opção que apresenta a negação da proposição “Todo médico tem letra feia”.

Gabarito

A

Comentário do professor

"Todo médico tem letra feia" afirma que, para cada indivíduo que seja médico, vale a propriedade "ter letra feia". Aqui o termo Todo funciona como quantificador universal.

A negação de uma proposição com quantificador universal transforma-se em um quantificador existencial aplicando a negação ao predicado. Em notação: \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x) \).

Aplicando ao enunciado, com \(P(x)\) = "x, médico, tem letra feia", obtemos: existe pelo menos um médico para o qual "não tem letra feia". Ou seja, a forma correta da negação é Algum médico não tem letra feia.