Flashcard FC98739
Como testar a consistência lógica entre depoimentos que se referem à veracidade uns dos outros?
Lógica de Proposições
CEBRASPE (CESPE) · 2018
Como testar a consistência lógica entre depoimentos que se referem à veracidade uns dos outros?
Mostrar resposta e comentário
Resposta
Procedimento: assuma hipóteses sobre quem diz a verdade, deduza implicações e descarte hipóteses que gerem contradição.Explicação e método:
Identifique declarações que afirmam veracidade ou falsidade de outros.
Assuma um conjunto de verdadeiros (por exemplo, "apenas X é verdadeiro") e aplique as implicações lógicas de cada declaração.
Se as deduções contradizem a hipótese inicial, rejeite-a; repita até encontrar um conjunto consistente ou concluir impossibilidade.
Exemplo:
Três pessoas fazem declarações:
A: "B mente"
B: "C mente"
C: "B diz a verdade"
Teste: suponha B verdadeiro → então C mente (pela frase de B) → mas se C mente então a frase "B diz a verdade" é falsa → portanto B mente, contradição. Logo B não pode ser verdadeiro.
Se B mente → a frase de A ("B mente") é verdadeira → A verdadeiro.
Mas se B mente, a frase de B ("C mente") é falsa → C verdadeiro → C afirma que B diz a verdade, mas B mente → contradição (C não pode ser verdadeiro).
Todas as hipóteses levam a contradição, portanto não existe um conjunto consistente de veracidade neste caso — conclui-se pela análise lógica que o conjunto de depoimentos é inconsistente.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/94322
Conteúdo do catálogo FC Concursos · Atualizado em