Flashcard FC98489
Como concluir se uma afirmação é verdadeira ao receber apenas uma resposta de alguém que pode sempre mentir ou sempre dizer a verdade?
Lógica de Proposições
CEBRASPE (CESPE) · 2016
Como concluir se uma afirmação é verdadeira ao receber apenas uma resposta de alguém que pode sempre mentir ou sempre dizer a verdade?
Mostrar resposta e comentário
Resposta
Não é possível determinar sem informação adicional sobre o tipo do interlocutor.Explicação:
Uma única resposta é ambígua porque o veraz e o mentiroso dão respostas opostas à mesma pergunta.
É necessário obter informação extra — por exemplo, saber o tipo do falante, obter uma segunda resposta, ou fazer uma pergunta cuja resposta seja invariantemente a mesma independentemente do tipo (pergunta meta sobre o que o outro diria).
exemplo:
Temos duas caixas, uma com uma moeda. Um guardião sabe onde está a moeda e pode ser sempre veraz ou sempre mentiroso. Se você pergunta "A moeda está na caixa A?" e ouve "sim", isso é ambíguo.
Pergunta alternativa: "Se eu perguntasse ao outro guardião se a moeda está na caixa A, o que ele diria?"
O veraz reportaria a mentira do mentiroso; o mentiroso reportaria a negação do veraz — portanto a resposta será sempre a negação da verdade. Invertendo a resposta obtém-se a posição real da moeda.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/90084
Conteúdo do catálogo FC Concursos · Atualizado em