I got a question concerning the extra slides I showed in lecture 1.

I presented some background in the form of slides about om propositional (boolean) logic and predicate logic.from the course DD1350 (F2,F3,F4) autumn 2017. The same material in presented in the autumn 2018 in DD1351.

You can find material of this type on the net e.g. in wikipedia and on other sites.

I will summarize what of all this information is essential in this course,

but probably not before tomorow's exercise session.

If you want to look for info yourselves , you could use e.g. .search phrases like som "propositional logic".,"predicate logic",  "Natural deduction"

Best regards -Thomas S.