Resolução do Exercício por Chandler Wellington Caulkins

Resolução do Exercício por Chandler Wellington Caulkins O problema consiste em saber quantos dos três nativos são políticos baseado no que falam para o estrangeiro. As possíveis combinações de político e não político são listadas abaixo, sendo que político é representado por P e um não político por N:

Inicia-se a resolução com o primeiro nativo, a quem o estrangeiro pergunta se é um político ou um não político. A primeira consideração a ser feita é de que esse nativo vai responder que é um não político independente de quem realmente seja. Se ele for um político, vai responder que não é um político pois sempre mente. Se ele for um não político, vai responder que não é político por sempre dizer a verdade. Assim quando o segundo nativo informa que o primeiro disse que não é um político, já podemos afirmar que o segundo é um não político, pois o que ele diz é verdade. Desta forma, podemos eliminar as combinações 1,2,4 e 7.
Outra consideração que pode ser feita é quanto à resposta do terceiro. Ele afirma que o primeiro é um político. Se o terceiro for não político, ele vai dizer a verdade e portanto o primeiro realmente será político (o que corresponde à combinação 3). Se o último nativo for político, ele estará mentindo e portanto o primeiro será não político (ou seja, a combinação 5). Portanto, as combinações 6 e 8 também podem ser eliminadas.
Através das combinações 3 e 5, percebe-se que só pode haver um político entre os três nativos presentes.
FONTE: Wellington, Chandler Caulkins. Disponivél em . Acesso em 10 de novembro de 2013.