if the following are true:- instruction #7 is
addi dst=4 src=4 imm=1
- the PC at time 7 = 7
- value of cell 5 at time 7 = 4
addi dst=4 src=4 imm=1
then value of cell 5 at time 8 = 4
Start from the conclusion and work back up the proof. Click the arrow to show the parents.
- value of cell 5 at time 8 = 4,
if the following are true:
- a = b
- b = c
then a = c
- value of cell 5 at time 8 = value of cell 5 at time 7,
if the following are true:
- a = b
- a = c
then b = c
- value of cell 5 at time (7 + 1) = value of cell 5 at time 8,
if 7 + 1 = 8, then value of cell 5 at time (7 + 1) = value of cell 5 at time 8
- 7 + 1 = 8, 7 + 1 = 8
- value of cell 5 at time (7 + 1) = value of cell 5 at time 7,
if the following are true:
- instruction #i is
addi dst=dst src=src imm=imm
- the PC at time t = i
- not (other = dst)
then value of cell other at time (t + 1) = value of cell other at time t
- instruction #7 is
addi dst=4 src=4 imm=1
- the PC at time 7 = 7
- not (5 = 4), not (5 = 4)
- instruction #i is
- value of cell 5 at time 7 = 4