Proof: Transitive 2

Let's prove the following theorem:

if x = ((b ⋅ 2) + (a ⋅ 2)) / 2, then x = b + a

Proof:

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

Given
1 x = ((b ⋅ 2) + (a ⋅ 2)) / 2
Proof Table
# Claim Reason
1 ((b ⋅ 2) + (a ⋅ 2)) / 2 = b + a ((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