Proof: Push Stack Example 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	result of dumping [ 2, [ 1, [ ] ] ] to [ ] = result of dumping [ 1, [ ] ] to [ 2, [ ] ]	result of dumping [ 2, [ 1, [ ] ] ] to [ ] = result of dumping [ 1, [ ] ] to [ 2, [ ] ] (Pre-extend)
2	result of dumping [ 1, [ ] ] to [ 2, [ ] ] = [ 1, [ 2, [ ] ] ]	result of dumping [ 1, [ ] ] to [ 2, [ ] ] = [ 1, [ 2, [ ] ] ] (Pre-extend (2))
3	result of dumping [ 2, [ 1, [ ] ] ] to [ ] = [ 1, [ 2, [ ] ] ]	if result of dumping [ 2, [ 1, [ ] ] ] to [ ] = result of dumping [ 1, [ ] ] to [ 2, [ ] ] and result of dumping [ 1, [ ] ] to [ 2, [ ] ] = [ 1, [ 2, [ ] ] ], then result of dumping [ 2, [ 1, [ ] ] ] to [ ] = [ 1, [ 2, [ ] ] ] (Transitive Property of Equality)

Comments

Please log in to add comments