8.5 Create your own exercises

If you have already read and learnt all the examples from this document, you did wrong! Now you lack exercises to solve by yourself.

You can invent sequents and try to prove that they are valid; the problem then is that if they are not, you will waste your time trying to prove their validity in vain. So you must think only of valid sequents, and then prove them correctly.

Some methods I know to do that are:

Daniel Clemente Laboreo 2005-05-17