Re: [obm-l] ex-LOGICA (ANDRÓIDES e HOMENS MECÂNICOS)

[Claudio Buffara <claudio.buffara@xxxxxxxxxxxx>]

Title: Re: [obm-l] ex-LOGICA (ANDRÓIDES e HOMENS MECÂNICOS)

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).