Proof: Computer At Offset Z
Let's prove the following theorem:
if the following are true:
- there is a computer at location x: x y: y z: z and time: t
- z = a + b
then there is a computer at location x: x y: y z: (a + b) and time: t
Proof:
Given
1 | there is a computer at location x: x y: y z: z and time: t |
---|---|
2 | z = a + b |
# | Claim | Reason |
---|---|---|
1 | there is a computer at location x: x y: y z: z and time: t = there is a computer at location x: x y: y z: (a + b) and time: t | if z = a + b, then there is a computer at location x: x y: y z: z and time: t = there is a computer at location x: x y: y z: (a + b) and time: t |
2 | there is a computer at location x: x y: y z: (a + b) and time: t | if there is a computer at location x: x y: y z: z and time: t and there is a computer at location x: x y: y z: z and time: t = there is a computer at location x: x y: y z: (a + b) and time: t, then there is a computer at location x: x y: y z: (a + b) and time: t |
Comments
Please log in to add comments