terça-feira, setembro 19, 2006

Teste de lógica... 2ª chamada!

Este é um tipo de exercicio que envolve a pura lógica classica. Gostei muito de o resolver, e por isso o vou par aqui... enquanto nao ha nada mais complicado... vejam se conseguem sem ser à sorte!
Mostrem o raciocinio!

Aqui vao algumas verdades:
- Se Nestor disse a verdade, Julia e Raul mentiram.
- Se Raul mentiu, Lauro falou a verdade.
- Se Lauro falou a verdade, entao eu destesto programar.
Ora, eu adoro programar.
Logo a resposta correcta é:
a) Nestor e Júlia disseram a verdade
b) Nestor e Lauro mentiram
c) Raul e Lauro mentiram
d) Raul mentiu ou Lauro disse a verdade
e) Raul e Júlia mentiram

Não deixem de responder, e mostrar a vossa capacidade na demonstraçao lógica, usando estilos de prova diferentes... para chegar ao mesmo valor daquele que respondeu primeiro!

A prova mais elegante e surpreendente recebe um... (bem, nao posso prometer coisas que nao posso dar por isso) rebuçado com sabor a escolher pelo proprio!
Desta vez nao ha resposta em binário... era muito evidente!

pnpo

5 comentários:

Anónimo disse...

Vejamos se acerto!

Como eu gosto de programar, então Lauro mentiu...
Como Lauro mentiu, então Raul falou a verdade!
Como "Julia e Raul mentiram é falso", pois Raul disse a verdade, então Nestor mentiu!


Logo Lauro e Nestor mentiram...
Opção b)

Será?

Bjinho

Anónimo disse...

Ora, se tu adoras programar, ninguém tem nada a ver com isso.

Muito menos o Lauro, o Raúl e os outros morcões.

Tendo em conta quem mentiu, acho que concordo com a Patrícia, porque ela tem sempre razão! Não é meu anjinho?

Hasta
Ibraim

Anónimo disse...

Não sei de nada!
Quero mais respostas para confrontar com a realidade
:)

Anónimo disse...

Mas quem disse que adorava programar não estava a mentir, então não se altera nada :P

Muito bem, duas respostas correctas! e bem explicadas!

Realmente para fazer este exercício, nada mais é preciso saber do que a tabela de verdade da implicação:
V->F = F, as restantes combinações de V e F são sempre V.

Assim é simples concluir:
Sabemos que as premissas dadas são sp verdadeiras, logo basta jogar com isso e com a tabela de verdade da implicação!

Começamos entao com a última premissa: "Se lauro falou a verdade, entao eu detesto programar!", mas temos uma refutação: "eu adoro programar", portanto este consequente e falso, e para a premissa ser V é necessário que o antecedente seja tb ele F.

Daqui vem que "O Lauro Mentiu", e portanto a hipótese de resposta e) deixa de poder estar certa!

Passamos para a segunda premissa: "Se raul mentiu, entao Lauro falou a verdade", mas da prova anterior vem que "o Lauro mentiu", logo, seguindo o mesmo raciocinio temos que o antecedente é F.

Daqui vem que "Raul falou a verdade". Assim as hipoteses d) e c) também são falsas!

Vamos para a última premissa: "Se nestor disse a verdade, julia e raul mentiram".
(Aqui é preciso recordar que numa conjunção, basta que haja uma preposição falsa para a afirmação ser falsa!)
Assim de termos "raul falou verdade", vem que o consequente da premissa a analisar é falso. Ora seguindo o mesmo raciocinio das provas anteriores, vem que o antecedente é falso.

Assim "Nestor mentiu", e portanto a hipotese a) está errado.

Conclui-se entao que b) é a hipotese correcta!

pnpo

Hugo Ferreira Garcia disse...

Bem, o Aristoteles disse muita asneira mas descobriu que:

se A implica que B => não B implica que não A.

Assim, se a Patrícia adora programar, Lauro mentiu.
Se Lauro mentiu, Raul disse a verdade.
Se Raul disse a verdade Nestor mentiu.

Não podemos concluir nada sobre a júlia.

Se Nestor e Lauro mentiram então Patrícia acertou à primeira.
Se Patrícia acertou à primeira, percebe de lógica.
Se Patrícia percebe de lógica Patrícia gosta de programar.

Este é uma demonstração recursiva, logo eu mereço um rebuçado. De morango, se faz favor.

Achavas que não descobria nada sobre ti?
Não resisto a desafios. Foram 2 pelo preço de 1.
Agora desafio-te a descobrires de que estou eu a falar.

Apostamos esse rebuçado, o dobro ou nada.