Proof: Write Assign Const Tab 25

Let's prove the following theorem:

if the following are true:
  • the line at time 25 = 6
  • the tab at time 25 = 1
  • statement at line 6, tab 1 = a = 9
  • 9 is constant

then the tab at time 26 = 1

Proof:

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

Given
1 the line at time 25 = 6
2 the tab at time 25 = 1
3 statement at line 6, tab 1 = a = 9
4 9 is constant
Proof Table
# Claim Reason
1 the tab at time (25 + 1) = 1 if the line at time 25 = 6 and the tab at time 25 = 1 and statement at line 6, tab 1 = a = 9 and 9 is constant, then the tab at time (25 + 1) = 1
2 25 + 1 = 26 25 + 1 = 26
3 the tab at time (25 + 1) = the tab at time 26 if 25 + 1 = 26, then the tab at time (25 + 1) = the tab at time 26
4 the tab at time 26 = 1 if the tab at time (25 + 1) = the tab at time 26 and the tab at time (25 + 1) = 1, then the tab at time 26 = 1

Comments

Please log in to add comments