Re: [obm-l] ex-LOGICA (ANDR =?ISO-8859-1?B?00lERVMgZSBIT01FTlMgTUVDwg==?=NICOS)

[Claudio Buffara]

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

on 24.10.04 11:36, ricardo hodara at [EMAIL PROTECTED] 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).