Proof: Find Number Example 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	index of value 3 in [ 3, [ 2, [ 1, [ ] ] ] ] = index of value 3 in [ 3, [ 2, [ 1, [ ] ] ] ] with current index 0	index of value 3 in [ 3, [ 2, [ 1, [ ] ] ] ] = index of value 3 in [ 3, [ 2, [ 1, [ ] ] ] ] with current index 0 (Find Value Property)
2	3 = 3	3 = 3 (Reflexive Property of Equality)
3	index of value 3 in [ 3, [ 2, [ 1, [ ] ] ] ] with current index 0 = 0	if 3 = 3, then index of value 3 in [ 3, [ 2, [ 1, [ ] ] ] ] with current index 0 = 0 (Find Value Match Property)
4	index of value 3 in [ 3, [ 2, [ 1, [ ] ] ] ] = 0	if index of value 3 in [ 3, [ 2, [ 1, [ ] ] ] ] = index of value 3 in [ 3, [ 2, [ 1, [ ] ] ] ] with current index 0 and index of value 3 in [ 3, [ 2, [ 1, [ ] ] ] ] with current index 0 = 0, then index of value 3 in [ 3, [ 2, [ 1, [ ] ] ] ] = 0 (Transitive Property of Equality)

Comments

Please log in to add comments