Proof: Simplify 2

Let's prove the following theorem:

if not (2 = 0), then (a ⋅ 2) ⋅ (1 / 2) = a

Proof:

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

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

Comments

Please log in to add comments