Proof: Find Number Example 3

Let's prove the following theorem:

Proof:

Proof Table

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

Comments

Please log in to add comments