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