Title: Formel logik, grundlag for forelæsninger