Rapport fra 17. januar

Jeg snakket f?rst litt om logikk (implikasjon, negasjon).  Deretter forklarte jeg Exercise 1.5.5 og beviste Theorem 1.5.6.  Vi rakk ogs? ? begynne p? Prosjekt 1.