Another proof on the less than or equal relation.

by RoRi

June 30, 2015

Prove that if $a \leq b$ and $b \leq c$ and $a = c$ , then we also must have $b = c$ .

Proof.
Since $b \leq c$ and $a = c$ we have $b \leq a$ , by substitution. But this means $a \not< b$ . Since $a \leq b$ by assumption, and $a \not< b$ we must have $a = b. \qquad \blacksquare$

Stumbling Robot

Another proof on the less than or equal relation.

Related

Point out an error, ask a question, offer an alternative solution (to use Latex type [latexpage] at the top of your comment): Cancel reply