Problema das aldeias dos mentirosos e verdadeiros

Havia, numa ilha, duas aldeias muito próximas, mas que possuiam características muito peculiares: enquanto os nativos de uma só falavam a verdade, os nativos da outra só falavam mentiras, o tempo todo.
Apesar de serem tão diferentes, seus habitantes viviam em muita paz e, frequentemente, se reuniam em grandes festas, ora numa, ora noutra aldeia.
Foi numa dessas festas que um antropólogo chegou a essa ilha e logo encontrou um nativo que veio recebê-lo. Apesar de conhecer as características dessas aldeias e de seus habitantes, ele não sabia em qual aldeia estava, nem se o nativo encontrado era mentiroso ou verdadeiro.
Resolveu, então, perguntar ao nativo se aquela era a aldeia dos verdadeiros, ao que ouviu um SIM, como resposta. Percebendo a inutilidade da pergunta, pois o nativo poderia estar mentindo ou falando a verdade, decidiu fazer uma nova pergunta:
 _ Você mora nesta aldeia? E a resposta do nativo também foi um SIM.

Com base no que foi exposto acima, responda:

1) Em qual aldeia o diálogo ocorreu?
2) O nativo era verdadeiro ou mentiroso?

Solução do problema:

Vamos organizar as possíveis respostas que seriam dadas pelo nativo em quadros de dupla entrada. Consideramos as hipóteses da aldeia ser V ou M e do nativo ser v ou m e marcamos as respostas que seriam dadas:

Como podemos notar, a primeira pergunta não define em que aldeia eles estavam, mas a segunda pergunta, cuja resposta foi SIM, determina que a aldeia era a dos verdadeiros (V), mas não define se o nativo disse a verdade (v) ou mentiu (m).

Voltando agora à primeira pergunta, cuja resposta foi SIM, e sabendo-se que a aldeia era a dos verdadeiros (V), concluímos que o nativo falou a verdade.