Questão FC300065
O advogado de uma empresa afirmou ao diretor que: “Todos os processos relativos à empresa X foram finalizados” Dias depois, o diretor foi informado que essa afirmação não era verda
Lógica de Proposições
FGV · 2021
O advogado de uma empresa afirmou ao diretor que:
“Todos os processos relativos à empresa X foram finalizados”
Dias depois, o diretor foi informado que essa afirmação não era verdadeira.
O diretor concluiu logicamente que
- nenhum processo da empresa X foi finalizado.
- somente um processo da empresa X não foi finalizado.
- pelo menos um processo da empresa X não foi finalizado.
- foi finalizado pelo menos um processo que não se refere à empresa X.
- todos os processos finalizados não se referiam à empresa X.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
O enunciado afirma “Todos os processos relativos à empresa X foram finalizados”. Essa é uma sentença com quantificador universal.
Ao saber que essa afirmação é falsa, o diretor toma a negação lógica da sentença. Formalmente, se chamarmos \(F(s)\) a propriedade “o processo \(s\) foi finalizado” e \(S\) o conjunto dos processos, temos:
\( \neg(\forall s\in S: F(s)) \equiv \exists s\in S: \neg F(s) \)
Ou seja, a negação de “todos” é um quantificador existencial: existe ao menos um elemento que não satisfaz a propriedade.
Portanto, a conclusão correta é: pelo menos um processo da empresa X não foi finalizado.
Conteúdo do catálogo FC Concursos · Atualizado em