Muito bem, você fez mesmo raciocínio eu faço. Alpha e Epsilon indeterminados, Gama verdadeiro, Beta e Delta falsos. Mas Dr Turing não poder saber quais, exceto um. Portanto só sabe de um, não de dois!
Claudio Buffara <claudio.buffara@terra.com.br> wrote:
on 24.10.04 11:36, ricardo hodara at psicologohodara@yahoo.com.br wrote:
Sou professor de russo e fiz essa prova no Brasil.
Mas o seu comentário não auxilia à solução, pois repare que o conetivo do antecedente foi maliciosamente trocado de ou para e no item. Prova formulada pela ESAF, MPU.
Enviei a (minha...) solução anteriormente. Gostaria que você a revisasse.
Não é tão simples como você pensou. Releeia.
Mando agora outro da mesma ESAF que penso estar errado o gabarito. Você analisar primeiro antes deu mostrar meus argumento.
Aqui vai questão com gabarito:
35- Uma empresa produz andróides 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 Artifi-cial,
está examinando um grupo de cinco andróides -
rotulados de Alfa, Beta, Gama, Delta e Épsilon -, fabrica-dos
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 andróides 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
a) 1. b) 2. (certo) c) 3. d) 4. e) 5.
O Dr. Turing deve saber que a resposta a sua pergunta serah sempre NAO, pois se o androide for do tipo V, entao irah responder a verdade: NAO, e se for do tipo M irah mentir, dizendo tambem que NAO. Ou seja, a resposta de Alfa foi NAO.
Logo, Beta mentiu, Gama disse a verdade e Delta mentiu ==>
Beta e Delta sao tipo M e Gama e tipo V.
Epsilon nao pode ser determinado pois:
Se ele for tipo V, entao Alfa serah tipo M;
Se ele for
tipo M, entao Alfa serah tipo V.
De qualquer forma, no conjunto {Alfa,Epsilon} existe exatamente um androide tipo V.
Assim, existem exatamente 2 androides tipo V: Gama e um dentre Alfa e Epsilon.
Resposta: 2 (b).