Proof: Maximum Example 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	maximum value in stack [ 2, [ 1, [ ] ] ] = 2	maximum value in stack [ 2, [ 1, [ ] ] ] = 2 (maximum_example)
2	3 > maximum value in stack [ 2, [ 1, [ ] ] ] = 3 > 2	if maximum value in stack [ 2, [ 1, [ ] ] ] = 2, then 3 > maximum value in stack [ 2, [ 1, [ ] ] ] = 3 > 2 (Substitution)
3	3 > 2	3 > 2 (Fixed Value Statement)
4	3 > maximum value in stack [ 2, [ 1, [ ] ] ]	if 3 > 2 and 3 > maximum value in stack [ 2, [ 1, [ ] ] ] = 3 > 2, then 3 > maximum value in stack [ 2, [ 1, [ ] ] ] (Truth Propagation Property 2)
5	maximum value in stack [ 3, [ 2, [ 1, [ ] ] ] ] = 3	if 3 > maximum value in stack [ 2, [ 1, [ ] ] ], then maximum value in stack [ 3, [ 2, [ 1, [ ] ] ] ] = 3 (Greater Than Maximum Property)

Comments

Please log in to add comments