Se entre três declarações exatamente uma é verdadeira e uma declaração específica é sabidamente falsa, como identificar qual das demais é verdadeira?

Resposta

Elimine a declaração sabidamente falsa; a verdadeira será a que, entre as duas restantes, mantém a condição de haver exatamente uma declaração verdadeira.

Seja D1, D2, D3 e suponha Dk sabidamente falsa.
Então resta que entre as outras duas exatamente uma é verdadeira.
Teste a consistência: suponha uma delas verdadeira e verifique se isso torna a outra falsa sem criar contradição com as afirmações; a escolha consistente é a verdadeira.

D1: "Interruptor A está ligado."
D2: "Interruptor A está ligado." (sabidamente falsa)
D3: "Interruptor B está ligado."
Como D2 é falsa, Interruptor A está desligado, então D1 também é falsa; portanto D3 é a única verdadeira, logo Interruptor B está ligado.