Re: [obm-l] PELO SIM, PELO

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Thu, Sep 15, 2005 at 03:33:28PM -0300, gugu@impa.br wrote:
>    Oi Nicolau,
> Você está sendo coerente, mas é possível interpretar de outra maneira - se a
> resposta de um mentiroso compulsório consta de várias afirmações, todas elas
> devem ser falsas. Na verdade eu acho esse problema meio mal formulado por isso
> mesmo. As perguntas (e as respostas) podem ser arbitrariamente complexas ?

Eu acho que finalmente entendi o seu ponto de vista, mas continuo achando
que esta não é a noção usual de mentira. Quando você faz *uma* pergunta,
qualquer coisa diferente da verdade é uma mentira e esta sua idéia de
negar cada bit em geral nem faz sentido. Assim, se a pergunta for
"Quais destes senhores (A,B,C,D,E) são honestos?" e se de fato só o B for
honesto a resposta "Só o C é honesto." é uma mentira. Pelo seu ponto
de vista, é uma 3/5-verdade pq A, D, e E são de fato desonestos e
a resposta também indica que eles são desonestos. Acho este seu ponto
de vista criticável sob vários aspectos: na vida real não se usa assim
a palavra "mentira", estes problemas de "quantas perguntas" ficam severamente
alterados pq é possível socar um monte de perguntas em uma só, e o problema
em questão fica trivial, basta fazer a pergunta "Quais destes senhores
(A,B,C,D,E) são honestos?": uma resposta mentirosa no seu sentido é
imediatamente reconhecível e deve indicar quatro honestos (os desonestos)
e um desonesto (o honesto).

Uma outra forma de argumentar a favor do meu ponto de vista é que *uma*
resposta nunca consta de várias afirmações, ela sempre consta de uma
única afirmação obtida juntando as subafirmações por "e".

Por outro lado a intenção do problema aparentemente era que as perguntas
fossem respondidas por SIM ou NÃO.

[]s, N.
=========================================================================
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
=========================================================================