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

[kleinad@xxxxxxxxxx]

>Sou professor de russo e fiz essa prova no Brasil.

Vc é brasileiro?

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

Sem querer ser chato, eu achei simples mesmo; bastava observar a colocação
dos dois conectores. Bem, eu nunca estudei lógica, a única vez que ouvi
falar em Boole foi em "álgebra de Boole"... Portanto não tenho nenhuma
autoridade para falar a respeito.

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

Bem, antes de mais nada, porque puseram épsilon em vez de zeta? A ordem no
alfabeto grego é zeta em vez de épsilon... Na pergunta foi feita a analogia
com a ordem do nosso alfabeto associando épsilon a "e".

Ok. A única resposta possível de alfa é não. Se ele disser sim, e for M,
então estaria dizendo a verdade, uma contradição. Se disser sim e for V,
então estaria mentindo, outra contradição. Logo alfa dirá necessariamente
não. Mas isto ainda não nos permite dizer se alfa é M ou V.

Porém, vemos que beta é M pois a única resposta possível de alfa é não.
Portanto gama é V e delta é M.

Repare que a declaração de épsilon é independente das de beta, gama e delta.
Alfa e épsilon estão relacionados e um é o oposto do outro, mas é impossível
decidir quem é V e quem é M. Se épsilon é V, então alfa é M e nenhuma
contradição segue (lembrando que alfa responde não). Se épsilon é M, então
alfa é V e novamente nenhuma contradição segue.

Logo, são 2 V.

[]s,
Daniel

=========================================================================
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
=========================================================================