Passo 1
O objetivo é mostrar que a partir da premissa
podemos deduzir a disjunção
. O conteúdo necessário envolve a propriedade de transitividade da relação
e a regra de introdução da disjunção (
-I).
Passo 2
Observamos que
é verdadeiro pela aritmética básica dos números reais (pois
é menor que
).
Passo 3
Aplicando a transitividade de
às desigualdades
e
(premissa), obtemos
.
Passo 4
Finalmente, usando a introdução da disjunção à esquerda (
-I), a partir de
inferimos
.