Given that:

there is a computer at location x: x y: y z: z and time: t

z = a + b

Prove that:

there is a computer at location x: x y: y z: (a + b) and time: t

The following properties may be helpful:

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
if the following are true:
- a
- a = b
then b

Please write your proof in the table below. Each row should contain one claim. The last claim is the statement that you are trying to prove.

Become a subscriber to save your progress, see the correct answer, and more!