Como determinar qual única declaração é verdadeira quando se sabe que, entre três afirmações, exatamente uma é verdadeira?

Assuma cada afirmação como verdadeira e verifique se isso gera contradição com a condição “apenas uma verdadeira”; a assunção que não gerar contradição é a verdadeira.

Passos:
1. Assuma a primeira afirmação como verdadeira e deduza suas consequências.
2. Verifique se isso força outra afirmação a ser verdadeira — se sim, há contradição (porque só uma pode ser verdadeira), então a primeira é falsa.
3. Repita para a segunda e a terceira; a consistente é a verdadeira.

exemplo:
Considere três declarações sobre comparações entre X, Y e Z (patrimônios distintos):
S1: “X é o mais rico”
S2: “X tem mais que Y”
S3: “Y tem mais que X”

Teste S1 true → então X é o mais rico, logo X>Y, portanto S2 também seria verdadeira → conflito (duas verdadeiras) → S1 é falsa.
Teste S2 true → X>Y, isso torna S3 falsa e também impede S1 (X não necessariamente o mais rico, pode haver Z maior) — consistente se apenas S2 for verdadeira.
Teste S3 true → Y>X, isso torna S2 falsa e S1 falsa — também consistente, mas só uma das consistências será compatível com todas as relações impostas pelo problema concreto; seguir a mesma checagem leva à solução única.

Conclusão do exemplo: aplicando a técnica de assumir e buscar contradições identifica qual declaração pode ser a única verdadeira.