Flashcard FC628357
Como aplicar o método da suposição e contradição para identificar quem é o que entre um que sempre diz a verdade, um que sempre mente e um que às vezes mente?
Lógica de Proposições
NC UFPR (FUNPAR) · 2019
Como aplicar o método da suposição e contradição para identificar quem é o que entre um que sempre diz a verdade, um que sempre mente e um que às vezes mente?
Mostrar resposta e comentário
Resposta
Assuma uma identidade, deduza todas as consequências lógicas das falas conforme os tipos, se houver contradição descarte a suposição.Para aplicar, proceda assim, assuma que um falante é verdadeiro, mentiroso ou variável, interprete cada declaração conforme essa hipótese, e verifique consistência com os comportamentos. Se alguma declaração obrigar uma pessoa a ter dois papéis incompatíveis, a hipótese é inválida, então tente outra até achar a única consistente.
Exemplo:
Pessoas P1, P2, P3, tipos: verdadeiro (sempre diz a verdade), mentiroso (sempre mente), variável (às vezes mente).
P1 diz: "Eu sou o verdadeiro."
P2 diz: "P1 é o variável."
P3 diz: "Eu sou o variável."
Suponha P1 = mentiroso, então P1 afirmou algo falso, consistente. A afirmação de P2 "P1 é o variável" é falsa (pois P1 é mentiroso), logo P2 não pode ser o verdadeiro, restando-lhe ser mentiroso ou variável. Mas já há um mentiroso (P1), então P2 teria de ser o variável. Então P3 afirma "Eu sou o variável", se isso for falso P3 seria verdadeiro, mas o verdadeiro não pode dizer algo falso, logo chegamos à contradição se as posições não fecharem. Assim descartamos P1 = mentiroso e testamos outra hipótese, até achar a atribuição consistente.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/626376
Conteúdo do catálogo FC Concursos · Atualizado em