Lidt mere om indledende logik og bevisteknik.
Slides
Opgaveregning 12.55-14.55
Opgaver i afsnit 1.1: 1, 5, 12, 14, 29
Opgaver i afsnit 1.2: 5, 17, 25
Opgaver i afsnit 1.6: 16, 17
Forelæsning, 14.55 - 16.15:
Afsnit 1.3 og 1.4: Kvantorer.
Afsnit 2.1 og 2.2: Kort gennemgang af udvalgte emner fra mængdelære. Især forbindelser til logik.