Neste uke vil Peter ta ¡­

Neste uke vil Peter ta naturlig deduksjon for f?rsteordens logikk, dvs van Dalen 2.8-2.10 og Avigad 6.1-6.2. Da har vi dekket ganske mye nytt stoff p? kort tid, s? f?r vi g?r inn p? kompletthet o.l. vil vi g? tilbake litt og se p? definerbarhet og g? igjennom noen eksempler og anvendelser.