Proof: Do Append 25

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	result of appending {"ES": "Estonia", "MX": "Mexico"} to [ ] = reverse of [ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ]	result of appending {"ES": "Estonia", "MX": "Mexico"} to [ ] = reverse of [ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ] (Appending to a List Property)
2	reverse of [ ] = [ ]	reverse of [ ] = [ ] (do_reverse_25_0)
3	[ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ] = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]	if reverse of [ ] = [ ], then [ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ] = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] (Substitution)
4	reverse of [ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ] = reverse of [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]	if [ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ] = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ], then reverse of [ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ] = reverse of [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] (Substitution)
5	reverse of [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]	reverse of [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] (do_reverse_25_1)
6	reverse of [ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ] = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]	if reverse of [ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ] = reverse of [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] and reverse of [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ], then reverse of [ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ] = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] (Transitive Property of Equality)
7	result of appending {"ES": "Estonia", "MX": "Mexico"} to [ ] = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]	if result of appending {"ES": "Estonia", "MX": "Mexico"} to [ ] = reverse of [ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ] and reverse of [ {"ES": "Estonia", "MX": "Mexico"}, reverse of [ ] ] = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ], then result of appending {"ES": "Estonia", "MX": "Mexico"} to [ ] = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] (Transitive Property of Equality)

Comments

Please log in to add comments