3<5 vdash-3<5 vee 3<2

Passo 1

O objetivo é mostrar que a partir da premissa 3<5 podemos deduzir a disjunção -3<5 vee 3<2. O conteúdo necessário envolve a propriedade de transitividade da relação < e a regra de introdução da disjunção ( vee-I).

Passo 2

Observamos que -3<3 é verdadeiro pela aritmética básica dos números reais (pois -3 é menor que 3).

Passo 3

Aplicando a transitividade de < às desigualdades -3<3 e 3<5 (premissa), obtemos -3<5.

Passo 4

Finalmente, usando a introdução da disjunção à esquerda ( vee-I), a partir de -3<5 inferimos -3<5 vee 3<2.

Resposta

-3<5 vee 3<2

Exercícios relacionados