[obm-l] Um problema de raciocínio lógico

[Cca <cca@xxxxxxxxxxxxxxxxxxxxxx>]

Denisson,

Primeiro, uma observação terminológica: o problema diz "concluir" e não "inferir". Na Lógica, o termo "inferência" tem um significado mais abrangente do que o de "deduzir" ou "concluir", mas podemos deixar esta questão de lado por enquanto.

Segundo: na Lógica DEDUTIVA -- e isto se aplica também à Matemática "clássica" ou "ortodoxa" --, "concluir" significar extrair uma conclusão NECESSÁRIA (e não meramente POSSÍVEL ou compatível com as premissas). Na Matemática, normalmente estabelecemos uma conclusão DEMONSTRANDO-A com base em regras de dedução. Você é capaz de DEMONSTRAR que, partindo das premissas do problema, pode-se chegar à conclusão de que o Renault é azul? Eu lhe darei um PRÊMIO se conseguir isto!!!

Como preparação para o meu próximo e-mail, considere o seguinte problema, que acabo de formular por analogia com o que está sob discussão:

<início problema>
 Seja x um número real. Das seguintes informações

I. x é um inteiro no intervalo [1,10];
II. x é par;

pode-se concluir que:

(A) x=2.
(B) x=3.
(C) x=5.
(D) x=7.
(E) x=9.
<fim problema>

O que você responderia? Imagino (pelo menos) duas respostas possíveis:

(1) O problema está mal-colocado, pois as condições I e II não são SUFICIENTES para CONCLUIR que x=2. Afinal, os números 4,6 e 8 também satisfazem as condições do problema.

(2) O problema está bem-colocado e a resposta é (A). De fato, o enunciado não implica que a solução é única.

Você concordaria com a resposta (2)?

Carlos César de Araújo
Gregos & Troianos Educacional LTDA
=========================================================================
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
=========================================================================