Mandatory Exercises 1

The first mandatory exercise is published with deadline 15th of October. The exercise sheet can be found by clicking the exercises link in the left panel and downloading oblig1.pdf, or following the link above.

Note that the relevant material for exercise O1.1 b) with regards to the second formula (F₂) will be in the lecture next week (first-order resolution calculus). You should be able to solve all of the other exercises with the material gone through in previous lectures, but you might want to wait with F₂ in O1.1 b) until after the next lecture.

Use devilry to submit your answer.  If you cannot see oblig1 in devilry, please let us know as soon as possible, so we can register your properly.