Questão FC300067
Um dos diretores de certo hospital, falando sobre as enfermeiras que lá trabalham disse: “Todas as enfermeiras são formadas pela UFC.” Sabendo que essa afirmação não é verdadeira,
Lógica de Proposições
FGV · 2021
Um dos diretores de certo hospital, falando sobre as enfermeiras que lá trabalham disse:
“Todas as enfermeiras são formadas pela UFC.”
Sabendo que essa afirmação não é verdadeira, é correto concluir que
- nenhuma enfermeira é formada pela UFC.
- nenhuma enfermeira é formada.
- alguma enfermeira é formada na Unifor.
- há, pelo menos, uma enfermeira que não é formada na UFC.
- há, pelo menos, uma enfermeira que não é formada.
Mostrar resposta e comentário
Gabarito
D
Comentário do professor
A frase do diretor: “Todas as enfermeiras são formadas pela UFC.” é uma afirmação com quantificador universal.
Quando sabemos que essa afirmação é falsa, sua negação é verdadeira. A negação de um enunciado universal transforma o quantificador em existencial e nega a propriedade.
Formalmente: a declaração original corresponde a \( \forall x\,(E(x)\rightarrow F(x)) \). A negação é \( \exists x\,(E(x)\land \neg F(x)) \).
Em linguagem natural, isso equivale exatamente a: Há, pelo menos, uma enfermeira que não é formada na UFC.
Portanto, a conclusão correta é: há, pelo menos, uma enfermeira que não é formada na UFC.
Conteúdo do catálogo FC Concursos · Atualizado em