Como analisar atribuições quando se afirma que exatamente uma entre várias proposições é verdadeira?

Resposta

Assuma, em separado, que cada proposição é a única verdadeira e descarte as hipóteses que geram contradições; a hipótese que permanecer é a válida.

exemplo:
Três peças — vermelha, verde, azul — têm formas distintas: círculo, quadrado, triângulo. As afirmações (exatamente uma é verdadeira):
I. A peça vermelha é triângulo.
II. A peça verde não é quadrado.
III. A peça azul não é triângulo.

Testando I como única verdadeira: I → vermelha=triângulo; II falsa → verde=quadrado; III falsa → azul=triângulo → contradição (dois triângulos).
Testando III como única verdadeira: III → azul ≠ triângulo; II falsa → verde=quadrado; I falsa → vermelha ≠ triângulo → então ninguém pode ser triângulo → contradição.
Testando II como única verdadeira: II → verde ≠ quadrado; I falsa → vermelha ≠ triângulo; III falsa → azul=triângulo. Assim: azul=triângulo, verde=círculo, vermelha=quadrado — consistente. Portanto, II é a única verdadeira.