Proof: Add Two 90

Let's prove the following theorem:

if the following are true:
  • a = 90
  • b = 90

then a + b = 180

Proof:

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

Given
1 a = 90
2 b = 90
Proof Table
# Claim Reason
1 a + b = 90 + b if a = 90, then a + b = 90 + b
2 90 + b = 90 + 90 if b = 90, then 90 + b = 90 + 90
3 a + b = 90 + 90 if a + b = 90 + b and 90 + b = 90 + 90, then a + b = 90 + 90
4 90 + 90 = 180 90 + 90 = 180
5 a + b = 180 if a + b = 90 + 90 and 90 + 90 = 180, then a + b = 180

Comments

Please log in to add comments