Se apenas uma entre três comparações envolvendo quantidades distintas é verdadeira, como usar essas verdades/falsidades para deduzir a desigualdade entre dois elementos?

Resposta: A declaração única verdadeira estabelece diretamente a desigualdade que ela afirma; declarações falsas negam comparações, o que, por valores distintos, implica a desigualdade contrária.

Explicação:
Sejam três valores distintos \(a,b,c\).
Se a única afirmação verdadeira é "\(b>a\)", então imediatamente \(b>a\).
Uma afirmação falsa como "\(a>b\)" significa \(\neg(a>b)\Rightarrow a\le b\); como os valores são distintos, conclui-se \(aAssim, verdade e falsidade juntas permitem ordenar pares comparados.

Exemplo:
Considere três caixas com quantidades L, M, N e as declarações:
• L: "L > M"
• M: "N > L"
• N: "L é a maior"
Suponha que apenas a de M seja verdadeira.
Então \(N>L\) (verdade).
A de L é falsa ⇒ não(L>M) ⇒ \(LA de N é falsa ⇒ não(L\;é\;a\;maior) ⇒ existe alguém com mais que L, consistente com \(N>L\).
Logo, a partir da única verdadeira conclui-se que \(N>L\).