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
- A)nenhum processo da empresa X foi finalizado.
Errada, porque a falsidade de "todos foram finalizados" não permite concluir que nenhum foi finalizado, apenas que ao menos um não foi.
- B)somente um processo da empresa X não foi finalizado.
Errada, pois a negação da frase não informa que existe só um caso pendente; pode haver um ou vários.
- C)pelo menos um processo da empresa X não foi finalizado.
Certa, porque negar uma afirmação universal exige a existência de pelo menos um processo da empresa X que não foi finalizado.
- D)foi finalizado pelo menos um processo que não se refere à empresa X.
Errada, porque a frase original trata de processos da empresa X, e a sua negação não fala sobre processos de fora da empresa X.
- E)todos os processos finalizados não se referiam à empresa X.
Errada, pois a conclusão correta envolve um processo da empresa X não finalizado, e não processos finalizados de outra origem.
Gabarito: C
Quando uma frase universal do tipo "todos os processos relativos à empresa X foram finalizados" é falsa, a lógica clássica nos ensina uma coisa simples: basta existir um contraexemplo. Em outras palavras, não é preciso derrubar tudo, só achar um caso que escape da regra. É o famoso "um contraexemplo vale ouro". Aqui, a afirmação diz que para todo processo da empresa X, o processo foi finalizado. Se essa frase não é verdadeira, então existe pelo menos um processo da empresa X que não foi finalizado. Isso é a negação lógica de "todos": trocar o universal por um existencial e negar a condição. Por isso, o diretor concluiu corretamente que há, no mínimo, um processo da empresa X pendente. Note que isso não permite afirmar quantos são, nem dizer que nenhum foi finalizado. Só sabemos que a frase original falhou em algum ponto. Esse raciocínio é padrão em proposições categóricas e lógica proposicional: negar "todos P são Q" equivale a dizer "existe pelo menos um P que não é Q". É exatamente por isso que o gabarito é a alternativa C.