Uma empresa produz androides de dois tipos: os de tipo V, que sempre dizem a verdade, e os de tipo
Uma empresa produz androides de dois tipos: os de tipo V, que sempre dizem a verdade, e os de tipo M, que sempre mentem. Dr. Turing, um especialista em Inteligência Artificial, está examinando um grupo de cinco androides – rotulados de Alfa, Beta, Gama, Delta e Épsilon –, fabricados por essa empresa, para determinar quantos entre os cinco são do tipo V. Ele pergunta a Alfa: “Você é do tipo M?” Alfa responde mas Dr. Turing, distraído, não ouve a resposta. Os androides restantes fazem, então, as seguintes declaraçôes: Beta: “Alfa respondeu que sim”. Gama: “Beta está mentindo”. Delta: “Gama está mentindo”. Épsilon: “Alfa é do tipo M”. Mesmo sem ter prestado atenção à resposta de Alfa, Dr. Turing pôde, então, concluir corretamente que o número de andróides do tipo V, naquele grupo, era igual a:
