Questão FC300083
Considere a afirmação: “Nenhum médico é cego”. A negação dessa afirmação é:
Lógica de Proposições
FGV · 2018
Considere a afirmação: “Nenhum médico é cego”.
A negação dessa afirmação é:
- Há, pelo menos, um médico cego;
- Nenhum cego é médico;
- Todos os médicos são cegos;
- Todos os cegos são médicos;
- Todos os médicos não são cegos.
Mostrar resposta e comentário
Gabarito
A
Comentário do professor
A afirmação original diz: "Nenhum médico é cego". Em lógica, isso é uma declaração universal negativa e pode ser escrita como \( \forall x\,(M(x)\rightarrow \neg C(x)) \), onde \(M(x)\) = "x é médico" e \(C(x)\) = "x é cego".
Para negar uma afirmação universal usamos a regra: a negação de um **quantificador universal** vira um **quantificador existencial** e nega-se a propriedade interna.
Aplicando a regra, a negação é \( \exists x\,(M(x)\land C(x)) \), que em linguagem natural é: há, pelo menos, um médico cego.
Portanto, a alternativa correta expressa exatamente essa existência: existe algum médico que é cego.
Conteúdo do catálogo FC Concursos · Atualizado em