Exercises

use the rules from table 6
1) proof rule #11 from #3
2) proof rule #13 from #5
3) proof rule #15 from #11
4) proof rule #7 from #15
5) proof rule #7 from #3 (without using #15)