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

[ricardo hodara]

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 [EMAIL PROTECTED] wrote:
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 e!
le 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)."Jamais te tornes uma pessimista, Ira; um pessimista frequentemente está mais certo que um otimista, mas o otimista tem mais alegrias - e nada pode deter a marcha dos eventos. - Robert A. Heinlein Time Enough For Love";Ricardo Holmer Hodara - http://psicologia.web1000.com
		Yahoo! Acesso Grátis - Internet rápida e grátis. Instale o discador agora!

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

[Qwert Smith]

Dr Turing nao tem ki dizer quem eh quem, so precisa dizer quantos Vs tem no 
grupo.
Releia a resposta do Claudio.  Alpha eh indeterminado, Epsilon eh 
indeterminado mas o conjunto {Alpha,Epsilon} eh determinado e igual a {V,F}.
A resposta de Epsilon exclui as outra possibilidades {V,V} e {F,F}.

From: ricardo hodara [EMAIL PROTECTED]
Reply-To: [EMAIL PROTECTED]
To: [EMAIL PROTECTED]
Subject: Re: [obm-l] ex-LOGICA (ANDR ÓIDES e HOMENS MECÂNICOS)
Date: Mon, 25 Oct 2004 11:52:17 -0300 (ART)
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 [EMAIL PROTECTED] wrote:on 24.10.04 11:36, 
ricardo hodara at [EMAIL PROTECTED] wrote:

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.

_
Express yourself instantly with MSN Messenger! Download today - it's FREE! 
http://messenger.msn.click-url.com/go/onm00200471ave/direct/01/

=
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=

Re: [obm-l] ex-LOGICA (ANDR ÓIDES e HOMENS MECÂ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).