Questão de Raciocínio Lógico · FCC TRT24 2016 (nº 17)

Em problemas de verdades e mentiras, cada pessoa tem uma característica fixa: ou sempre diz a verdade (um destro, neste caso) ou sempre mente (um canhoto). O segredo é usar as afirmações e essa característica para deduzir quem é quem, verificando se o resultado final se encaixa em todas as condições dadas.

Vamos analisar as afirmações e as implicações:

1. P diz: "Eu sou destro."
   • Se P é destro, sua afirmação é verdadeira. (P é destro)
   • Se P é canhoto, sua afirmação é falsa. (P é canhoto)
2. Q diz: "P é canhoto."
   • Se Q é destro, sua afirmação é verdadeira. (P é canhoto)
   • Se Q é canhoto, sua afirmação é falsa. (P é destro)
   • Conclusão: P e Q são de tipos opostos (um é destro e o outro é canhoto).
3. R diz: "Q é canhoto."
   • Se R é destro, sua afirmação é verdadeira. (Q é canhoto)
   • Se R é canhoto, sua afirmação é falsa. (Q é destro)
   • Conclusão: R e Q são de tipos opostos.
4. S diz: "Q é destro."
   • Se S é destro, sua afirmação é verdadeira. (Q é destro)
   • Se S é canhoto, sua afirmação é falsa. (Q é canhoto)
   • Conclusão: S e Q são do mesmo tipo (ambos destros ou ambos canhotos).
5. T diz: "R é canhoto."
   • Se T é destro, sua afirmação é verdadeira. (R é canhoto)
   • Se T é canhoto, sua afirmação é falsa. (R é destro)
   • Conclusão: T e R são de tipos opostos.

Agora, vamos juntar as conclusões sobre os tipos:

• P e Q são opostos.
• R e Q são opostos.
• S e Q são iguais.
• T e R são opostos.

A partir disso, podemos inferir mais:

• Se R e Q são opostos, e S e Q são iguais, então R e S são opostos.
• Se P e Q são opostos, e S e Q são iguais, então P e S são opostos.
• Se R e Q são opostos, e P e Q são opostos, então P e R são iguais.

Temos a condição de que apenas dois dos cinco homens são canhotos. Vamos testar as possibilidades a partir de uma suposição inicial.

Cenário 1: Supondo que P é Destro (D)

• P = D
• Como P e Q são opostos, Q = C (canhoto).
• Como S e Q são iguais, S = C (canhoto).
• Como R e Q são opostos, R = D (destro).
• Como T e R são opostos, T = C (canhoto).
  Neste cenário, temos: P=D, Q=C, R=D, S=C, T=C.
  Os canhotos seriam Q, S e T. Isso totaliza 3 canhotos, o que contradiz a condição de que há apenas dois. Portanto, P não pode ser destro.

Cenário 2: Supondo que P é Canhoto (C)

• P = C
• Como P e Q são opostos, Q = D (destro).
• Como S e Q são iguais, S = D (destro).
• Como R e Q são opostos, R = C (canhoto).
• Como T e R são opostos, T = D (destro).
  Neste cenário, temos: P=C, Q=D, R=C, S=D, T=D.
  Os canhotos seriam P e R. Isso totaliza 2 canhotos, o que está de acordo com a condição do problema.

Portanto, os canhotos são P e R.

(A) Incorreta: Se P e S fossem canhotos, teríamos 3 canhotos (P, Q, S) ou mais, o que contradiz a condição.
(B) Incorreta: Se Q e S fossem os canhotos, a análise levaria a P ser destro, R ser destro e T ser canhoto. Isso resultaria em 3 canhotos (Q, S e T), o que contradiz a condição de que há apenas dois canhotos. Este é um distrator tentador porque, ao assumir Q e S como canhotos, pode-se deduzir corretamente que P e R são destros, mas a armadilha é não verificar que T também se torna canhoto, excedendo o limite de dois.
(C) Incorreta: Se S e T fossem canhotos, a análise levaria a 3 canhotos (Q, S, T) ou mais, o que contradiz a condição.
(D) Correta: Conforme a dedução sistemática, ao assumir que P é canhoto, chegamos a um cenário consistente com todas as afirmações e com a condição de que há exatamente dois canhotos (P e R).
(E) Incorreta: Se Q e R fossem canhotos, isso geraria uma contradição interna nas afirmações (Q seria destro e canhoto ao mesmo tempo), tornando o cenário impossível.