Multiplicative Property of Equality Variation 1
Distributive Property 4
Distribute Half
Transitive Property of Equality Variation 2
Multiplicative Property of Equality Variation 2
Transitive Property of Equality Variation 3
Division is Commutative
Commutative Property Example 2
Commutative Property Variation 1
Substitution 2
Substitution 8
Substitution Example 10
Half Half One

Proof: Transitive Property of Equality Variation 3

Let's prove the following theorem:

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

then c = a

Proof:

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

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

Comments

Please log in to add comments