Se exatamente uma entre três afirmações é verdadeira, qual o procedimento lógico para identificar qual é essa afirmação?

Assuma cada afirmação como verdadeira, deduza as consequências e verifique se isso gera exatamente uma verdadeira; descarte hipóteses que provoquem contradições ou mais de uma verdade.

Para aplicar:
- Passo 1: suponha que a primeira afirmação seja verdadeira e determine as implicações sobre as demais e sobre as atribuições exclusivas.
- Passo 2: conte quantas afirmações ficam verdadeiras nesta hipótese; se for diferente de uma, rejeite a hipótese.
- Passo 3: repita para a segunda e terceira afirmações; a hipótese que produzir exatamente uma afirmação verdadeira e sem contradições é a correta.

Exemplo:
Temos três caixas (1,2,3) com uma fruta cada: maçã, banana, cereja. As afirmações são:
S1: "A caixa 1 contém a maçã."
S2: "A caixa 2 não contém a banana."
S3: "A maçã está na caixa 3."

Teste S1=true: então a maçã está na caixa1 → S3 é falsa. Se a banana estiver na caixa3 então S2 é falsa e apenas S1 fica verdadeira → consistente (exatamente uma verdadeira).
Teste S2=true: implica que a banana está na caixa1 ou caixa3; avalie S1 e S3 conforme essas posições; se resultar em duas afirmações verdadeiras, rejeite.
Teste S3=true: maçã na caixa3 → S1 falsa; verifique S2; se S2 também ficar verdadeira, rejeite.

Aplicando esse procedimento encontra‑se a hipótese consistente que deixa exatamente uma afirmação verdadeira.