2IF25 Formal Methods
Refresher/crash course on propositional logic with Tarski's World
Recommendend exercises Chapter 2

For all exercises: if you have severe difficulties in completing them,  
go back to previous exercises, including exercises that are not in  
this list and try some of these to see if they help you.

2.1 complete
2.4 until you get the idea of AND, OR, and NOT.
2.5
2.6 if you get the hang of it, quit after nr 5.
2.7 & 2.8 complete
2.10
2.12 & 2.14 complete
2.16
2.17
2.18 do three of them; problems? Do more.
2.19 if it is hard to find a world where all odd sentences are true  
resp. false, reduce the set of sentences that you consider.
2.20
2.21 about three of them
2.22 ditto
2.24 ditto
2.28