Proof: Substitute Add 22

Let's prove the following theorem:

if the following are true:

value of cell 3 at time 23 = (value of cell 1 at time 22) + (value of cell 2 at time 22)
value of cell 1 at time 22 = 2
value of cell 2 at time 22 = 3

then value of cell 3 at time 23 = 5

Proof:

View as a tree | View dependent proofs | Try proving it

Given

1	value of cell 3 at time 23 = (value of cell 1 at time 22) + (value of cell 2 at time 22)
2	value of cell 1 at time 22 = 2
3	value of cell 2 at time 22 = 3

Proof Table

#	Claim	Reason
1	(value of cell 1 at time 22) + (value of cell 2 at time 22) = 2 + (value of cell 2 at time 22)	if value of cell 1 at time 22 = 2, then (value of cell 1 at time 22) + (value of cell 2 at time 22) = 2 + (value of cell 2 at time 22) (Substitution)
2	value of cell 3 at time 23 = 2 + (value of cell 2 at time 22)	if value of cell 3 at time 23 = (value of cell 1 at time 22) + (value of cell 2 at time 22) and (value of cell 1 at time 22) + (value of cell 2 at time 22) = 2 + (value of cell 2 at time 22), then value of cell 3 at time 23 = 2 + (value of cell 2 at time 22) (Transitive Property of Equality)
3	2 + (value of cell 2 at time 22) = 2 + 3	if value of cell 2 at time 22 = 3, then 2 + (value of cell 2 at time 22) = 2 + 3 (Substitution)
4	value of cell 3 at time 23 = 2 + 3	if value of cell 3 at time 23 = 2 + (value of cell 2 at time 22) and 2 + (value of cell 2 at time 22) = 2 + 3, then value of cell 3 at time 23 = 2 + 3 (Transitive Property of Equality)
5	2 + 3 = 5	2 + 3 = 5 (Fixed Value Statement)
6	value of cell 3 at time 23 = 5	if value of cell 3 at time 23 = 2 + 3 and 2 + 3 = 5, then value of cell 3 at time 23 = 5 (Transitive Property of Equality)

Comments

Please log in to add comments