Proof: Transitive Inequality

Let's prove the following theorem:

if the following are true:
  • a < b
  • c = a

then c < b

Proof:

View as a tree | View dependent proofs | Try proving it

Given
1 a < b
2 c = a
Proof Table
# Claim Reason
1 a = c if c = a, then a = c
2 c < b if a < b and a = c, then c < b

Comments

Please log in to add comments