Additional Information for the Obligs

The following document contains information on how to write proofs in LaTeX: logic_uio18_oblig_latex.pdf (the matrix.sty file is necessary for writing connection proofs). It is not a requirement to prepare your solutions using LaTeX.

All solutions have to be submitted as a single PDF file, also in case of scanned (readable!) handwritten solutions.

18 (out of 30) points are necessary to pass the Oblig.