Transitive Property of Equality Variation 2
Multiplication Property 2
Multiplicative Property of Equality Variation 1
Associative Property of Multiplication 2
Transitive Property Application 2
Substitution 10
Reordering Terms Theorem
Multiplicative Identity 3
Division Theorem
Substitution 11
Substitution 14
Multiplication Property 3
Multiply Both Sides 2

Proof: Transitive Property Application 2

Let's prove the following theorem:

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

then c = d

Proof:

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

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

Comments

Please log in to add comments