Proof: Maximum Index Example 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	index of the maximum value in stack [ 2, [ 1, [ ] ] ] = index of value (maximum value in stack [ 2, [ 1, [ ] ] ]) in [ 2, [ 1, [ ] ] ]	index of the maximum value in stack [ 2, [ 1, [ ] ] ] = index of value (maximum value in stack [ 2, [ 1, [ ] ] ]) in [ 2, [ 1, [ ] ] ] (Maximum Index Of A List)
2	maximum value in stack [ 2, [ 1, [ ] ] ] = 2	maximum value in stack [ 2, [ 1, [ ] ] ] = 2 (maximum_example)
3	index of value (maximum value in stack [ 2, [ 1, [ ] ] ]) in [ 2, [ 1, [ ] ] ] = index of value 2 in [ 2, [ 1, [ ] ] ]	if maximum value in stack [ 2, [ 1, [ ] ] ] = 2, then index of value (maximum value in stack [ 2, [ 1, [ ] ] ]) in [ 2, [ 1, [ ] ] ] = index of value 2 in [ 2, [ 1, [ ] ] ] (Substitution)
4	index of value 2 in [ 2, [ 1, [ ] ] ] = 0	index of value 2 in [ 2, [ 1, [ ] ] ] = 0 (find_number_example_3)
5	index of the maximum value in stack [ 2, [ 1, [ ] ] ] = 0	if index of the maximum value in stack [ 2, [ 1, [ ] ] ] = index of value (maximum value in stack [ 2, [ 1, [ ] ] ]) in [ 2, [ 1, [ ] ] ] and index of value (maximum value in stack [ 2, [ 1, [ ] ] ]) in [ 2, [ 1, [ ] ] ] = index of value 2 in [ 2, [ 1, [ ] ] ] and index of value 2 in [ 2, [ 1, [ ] ] ] = 0, then index of the maximum value in stack [ 2, [ 1, [ ] ] ] = 0 (Transitive Property Application 1)

Comments

Please log in to add comments