Let's prove the following theorem:

if the following are true:

then c < a

Given

1	a > b
2	b > c

Proof Table

#	Claim	Reason
1	b < a	if a > b, then b < a (Symmetric Inequality Property)
2	c < b	if b > c, then c < b (Symmetric Inequality Property)
3	c < a	if b < a and c < b, then c < a (Transitive Property with the Less-Than Operator)

Next Lesson

Please log in to add comments