Proof: Do Append 12

Let's prove the following theorem:

result of appending [1, 2, 3] to [ ] = [ [1, 2, 3], [ ] ]

Proof:

View as a tree | View dependent proofs | Try proving it

Proof Table
# Claim Reason
1 result of appending [1, 2, 3] to [ ] = reverse of [ [1, 2, 3], reverse of [ ] ] result of appending [1, 2, 3] to [ ] = reverse of [ [1, 2, 3], reverse of [ ] ]
2 reverse of [ ] = [ ] reverse of [ ] = [ ]
3 [ [1, 2, 3], reverse of [ ] ] = [ [1, 2, 3], [ ] ] if reverse of [ ] = [ ], then [ [1, 2, 3], reverse of [ ] ] = [ [1, 2, 3], [ ] ]
4 reverse of [ [1, 2, 3], reverse of [ ] ] = reverse of [ [1, 2, 3], [ ] ] if [ [1, 2, 3], reverse of [ ] ] = [ [1, 2, 3], [ ] ], then reverse of [ [1, 2, 3], reverse of [ ] ] = reverse of [ [1, 2, 3], [ ] ]
5 reverse of [ [1, 2, 3], [ ] ] = [ [1, 2, 3], [ ] ] reverse of [ [1, 2, 3], [ ] ] = [ [1, 2, 3], [ ] ]
6 reverse of [ [1, 2, 3], reverse of [ ] ] = [ [1, 2, 3], [ ] ] if reverse of [ [1, 2, 3], reverse of [ ] ] = reverse of [ [1, 2, 3], [ ] ] and reverse of [ [1, 2, 3], [ ] ] = [ [1, 2, 3], [ ] ], then reverse of [ [1, 2, 3], reverse of [ ] ] = [ [1, 2, 3], [ ] ]
7 result of appending [1, 2, 3] to [ ] = [ [1, 2, 3], [ ] ] if result of appending [1, 2, 3] to [ ] = reverse of [ [1, 2, 3], reverse of [ ] ] and reverse of [ [1, 2, 3], reverse of [ ] ] = [ [1, 2, 3], [ ] ], then result of appending [1, 2, 3] to [ ] = [ [1, 2, 3], [ ] ]

Comments

Please log in to add comments