Ensino Médio ⇒ Lógica Matemática

[Daniel Hartmann]

Carlos acaba de concluir um curso de pára-quedismo lógico. Nessa exótica modalidade esportiva, os atletas devem escolher apenas um dentre os pára-quedas [tex3]A,[/tex3] [tex3]B[/tex3] ou [tex3]C.[/tex3] Um deles é verdadeiro, outro contém apenas um cobertor e outro, só uniformes. O instrutor diz:

1) se [tex3]A[/tex3] for o pára-quedas verdadeiro, então [tex3]B[/tex3] contém o cobertor;
2) se [tex3]B[/tex3] for o pára-quedas verdadeiro, então [tex3]A[/tex3] contém os uniformes;
3) se os uniformes estiverem em [tex3]C,[/tex3] então o cobertor está em [tex3]A;[/tex3]
4) se o cobertor estiver em [tex3]C,[/tex3] então [tex3]B[/tex3] contém os uniformes.

Qual deles deve ser escolhido para que Carlos chegue ao solo são e salvo?

[Rui Dalmas]

A resposta é [tex3]C.[/tex3] Porque é o único que satisfaz toda a sequencia logica.

[mawapa]

Sim, concordo com o Rui Dalmas, vou tentar explicar o raciocínio.

Primeiro vamos dizer que o paraquedas está em [tex3]A.[/tex3] Então tiramos a seguinte conclusão.

de acordo com a afirmação [tex3]1.[/tex3]

[tex3]A \to[/tex3] Pará-Quedas , então [tex3]B \to[/tex3] Cobertor, e [tex3]C \to[/tex3] Uniformes.

Só que na afirmativa [tex3]3[/tex3] diz que se o [tex3]C \to[/tex3] Uniformes, o [tex3]A \to[/tex3] Cobertor.

Então não fecha.

agora vamos dizer que o pára-quedas está em [tex3]B.[/tex3] Afirmativa [tex3]2[/tex3] agora:

[tex3]B \to[/tex3] Pára-quedas, então [tex3]A \to[/tex3] Uniformes e [tex3]C \to[/tex3] Cobertor

Só que na afirmativa [tex3]4[/tex3] diz que se o [tex3]C \to[/tex3] cobertor, o [tex3]B \to[/tex3] Uniformes.

Daí não fecha também.

Então chegamos a conclusão que o pára-quedas está em [tex3]C.[/tex3]

[Daniel Hartmann]

Ah! Agora eu entendi! Muito obrigado pela ajuda de vocês!