Proof: Pop Index Example 3

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 = remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 and visited stack is [ ]	remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 = remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 and visited stack is [ ] (Begin Pop At Index Property)
2	remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 and visited stack is [ ] = [ 1, [ ] ]	remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 and visited stack is [ ] = [ 1, [ ] ] (pop_index_result_example_3)
3	remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 = [ 1, [ ] ]	if remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 = remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 and visited stack is [ ] and remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 and visited stack is [ ] = [ 1, [ ] ], then remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 = [ 1, [ ] ] (Transitive Property of Equality)

Comments

Please log in to add comments