Proof: Compare Example Gt

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	compare bit stack [ 1, [ ] ] and bit stack [ 0, [ ] ] = compare bit 1 and bit 0	compare bit stack [ 1, [ ] ] and bit stack [ 0, [ ] ] = compare bit 1 and bit 0 (Compare x to y)
2	compare bit 1 and bit 0 = [ 0, [ 1, [ ] ] ]	compare bit 1 and bit 0 = [ 0, [ 1, [ ] ] ] (Compare 1 to 0)
3	compare bit stack [ 1, [ ] ] and bit stack [ 0, [ ] ] = [ 0, [ 1, [ ] ] ]	if compare bit stack [ 1, [ ] ] and bit stack [ 0, [ ] ] = compare bit 1 and bit 0 and compare bit 1 and bit 0 = [ 0, [ 1, [ ] ] ], then compare bit stack [ 1, [ ] ] and bit stack [ 0, [ ] ] = [ 0, [ 1, [ ] ] ] (Transitive Property of Equality)

Comments

Please log in to add comments