Quebra-Cabeça Lógico: Em uma ilha existem dois tipos de habitantes: os que sempre falam a verdade (cavaleiros) e os que sempre mentem (bandidos). Você encontra dois habitantes, E e F.
E diz: “Somos tipos diferentes.”
F diz: “E é cavaleiro.”
Determine quem é cavaleiro e quem é bandido, justificando sua resposta com raciocínio lógico.
F diz: “E é cavaleiro.”
Determine quem é cavaleiro e quem é bandido, justificando sua resposta com raciocínio lógico.
Passo 1
O enunciado dá duas falas de dois habitantes
e
e pede para determinar quem é cavaleiro e quem é bandido. Informações fornecidas:
-
diz: “Somos tipos diferentes.” -
diz: “E é cavaleiro.”
Pergunta: identificar o tipo de cada um (e ), justificando logicamente.
Passo 2
Vamos traduzir em proposições simples para manipular com clareza.
- Seja
a proposição " é cavaleiro". - Seja
a proposição " é cavaleiro".
Regras essenciais (explicando devagar):
- Um cavaleiro sempre diz apenas frases verdadeiras.
- Um bandido sempre diz apenas frases falsas.
Portanto, se alguém é cavaleiro a frase que essa pessoa pronuncia deve ser verdadeira; se é bandido a frase deve ser falsa.
Passo 3
Agora traduzimos as falas em fórmulas:
- A fala de
“Somos tipos diferentes” equivale a dizer que e têm valores diferentes. Em lógica booleana isso é . - A fala de
“E é cavaleiro” equivale à proposição .
Então:
- Enunciado de
: . - Enunciado de
: .
Passo 4
Método prático (muito usado em provas): testar todas as combinações possíveis de verdade para
e
. Existem quatro combinações:
-
, -
, -
, -
,
Vamos analisar cada uma verificando consistência com as regras (quem é cavaleiro deve dizer verdade; quem é bandido deve dizer mentira).
Passo 5
Caso 1:
,
(ou seja, ambos cavaleiros).
- Avalia
: sua frase fica , que é falso. - Mas
seria cavaleiro (pois ) e um cavaleiro não pode dizer algo falso. Contradição.
Portanto a combinação 1 é impossível.
Passo 6
Caso 2:
,
(
cavaleiro,
bandido).
- Avalia
: é , que é verdadeiro — ok para cavaleiro. - Avalia
: sua frase é . Mas é bandido ( ), logo deveria mentir; ou seja, a frase de deveria ser falsa. Aqui a frase é verdadeira, contradição.
Portanto a combinação 2 é impossível.
Passo 7
Caso 3:
,
(
bandido,
cavaleiro).
- Avalia
: é , que é verdadeiro. Mas é bandido e não pode dizer algo verdadeiro. Contradição.
Portanto a combinação 3 é impossível.
Passo 8
Caso 4:
,
(ambos bandidos).
- Avalia
: é , que é falso. é bandido, portanto deve proferir frases falsas — aqui ele falou algo falso, consistente. - Avalia
: sua frase é . é bandido, então deve mentir; aqui ele disse algo falso, também consistente.
Portanto a combinação 4 é consistente com todas as regras.
Passo 9
Conclusão lógica: a única combinação sem contradição é
e
, ou seja, ambos são bandidos. Dica rápida para prova: traduzir falas em proposições simples e testar casos é uma forma segura — sempre cheque a consistência entre o valor real da proposição e o tipo do falante (cavaleiro ↔ afirmação verdadeira; bandido ↔ afirmação falsa). Força aí, você conseguiu!