Questão FC90046
A partir dos argumentos apresentados pelo personagem Calvin na tirinha acima mostrada, julgue o seguinte item. Considerando o sentido da proposição “Os ignorantes é que são felizes
Lógica de Proposições
CEBRASPE (CESPE) · 2015
A partir dos argumentos apresentados pelo personagem Calvin na tirinha acima mostrada, julgue o seguinte item.
Considerando o sentido da proposição “Os ignorantes é que são felizes”, utilizada por Calvin no segundo quadrinho, é correto afirmar que a negação dessa proposição pode ser expressa por “Não só os ignorantes são felizes”.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
A banca julgou CERTO porque interpretou a fala de Calvin como "Só os ignorantes são felizes", isto é, ser ignorante é condição necessária para ser feliz.
Em linguagem lógica essa frase equivale a \( \forall x\,(Feliz(x)\rightarrow Ignorante(x))\).
A negação dessa proposição afirma que existe pelo menos um feliz que não é ignorante, ou seja \( \exists x\,(Feliz(x)\land \neg Ignorante(x))\).
Essa negação pode ser expressa natural e corretamente por "Não só os ignorantes são felizes", que significa que há pessoas felizes que não são ignorantes, portanto a alternativa indicada é logicamente equivalente à negação formal.
Conteúdo do catálogo FC Concursos · Atualizado em