Proof: Transitive 2

Let's prove the following theorem:

if the following are true:
  • x = ((b ⋅ 2) + (a ⋅ 2)) / 2
  • not (2 = 0)

then x = b + a

Proof:

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

Given
1 x = ((b ⋅ 2) + (a ⋅ 2)) / 2
2 not (2 = 0)
Proof Table
# Claim Reason
1 ((b ⋅ 2) + (a ⋅ 2)) / 2 = b + a if not (2 = 0), then ((b ⋅ 2) + (a ⋅ 2)) / 2 = b + a
2 x = b + a if x = ((b ⋅ 2) + (a ⋅ 2)) / 2 and ((b ⋅ 2) + (a ⋅ 2)) / 2 = b + a, then x = b + a

Comments

Please log in to add comments