Proof: Maximum Index One Element Example

Let's prove the following theorem:

Proof:

Proof Table

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

Comments

Please log in to add comments