Proof: Addi to Zero

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	value of cell dst at time (t + 1) = (value of cell 0 at time t) + imm	if instruction #i is addi dst=dst src=0 imm=imm and the PC at time t = i, then value of cell dst at time (t + 1) = (value of cell 0 at time t) + imm (ADDI Instruction Property)
2	value of cell 0 at time t = 0	value of cell 0 at time t = 0 (Memory Cell #0)
3	value of cell dst at time (t + 1) = 0 + imm	if value of cell dst at time (t + 1) = (value of cell 0 at time t) + imm and value of cell 0 at time t = 0, then value of cell dst at time (t + 1) = 0 + imm (Term 1 Substitution)
4	0 + imm = imm	0 + imm = imm (Additive Identity Variation)
5	value of cell dst at time (t + 1) = imm	if value of cell dst at time (t + 1) = 0 + imm and 0 + imm = imm, then value of cell dst at time (t + 1) = imm (Transitive Property of Equality)

Comments

Please log in to add comments