if the following are true:

• subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
• the PC at time 18 = 5
• value of cell 127 at time 18 = 2

then value of cell 127 at time 19 = 2

Start from the conclusion and work back up the proof. Click the arrow to show the parents.

• value of cell 127 at time 19 = 2,

  if the following are true:

  • a = b
  • b = c

  then a = c

  • value of cell 127 at time 19 = value of cell 127 at time 18,

    if the following are true:

    • a = b
    • a = c

    then b = c

    • value of cell 127 at time (18 + 1) = value of cell 127 at time 19,

      if 18 + 1 = 19, then value of cell 127 at time (18 + 1) = value of cell 127 at time 19

      • 18 + 1 = 19, 18 + 1 = 19
    • value of cell 127 at time (18 + 1) = value of cell 127 at time 18,

      if the following are true:

      • subtract immediate instruction with dst: dst src: src and immediate: imm at i
      • 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

      • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
      • the PC at time 18 = 5
      • not (127 = 1), not (127 = 1)
  • value of cell 127 at time 18 = 2