Proof: Example: Divide 180 by 2

Let's prove the following theorem:

if a ⋅ 2 = 180, then a = 90

Proof:

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

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

Comments

Please log in to add comments