Övning 11 november
I stort sett alla övningar i kapitel 1 är relevanta, t ex
4, 12b, 14c, 17b, 18, 20a,c.
Övning 18 november
Övningarna i slutet på satslogik på sidorna jag skrivit om naturlig
deduktion. Övningarna sist i kapitel 2 (sid. 44) är alla utmärkta, vi
har dock inte riktigt hunnit gå igenom på föreläsningarna all som
behövs här; men uppgifterna 9 och 10 kommer att demonstreras.
Övning 25 november
Övcning 11 sid 44. Några av uppgifterna på sid 49. Samtliga övninngar
på sid 56 är bra och inte speciellt svåra; några kräver definitionerna
3.8 och 3.11 som vi inte hann gå igenom på föreläsningarna men som kommer
att förklaras på övningarna.
Övning 2 december
Övcning 12 sid 59. 16, 22 b c d. Upgifterna 1 b,d,e,g sid 7 i
sidorna
om
naturlig deduktion.
Och så ställer vi (tills vidare) in en övningsgrupp. Och övningarna är
i MD1 och MD3.
Övning 9 december
Övningar på kompakthetssatsen (sid 102).
Predikatlogik med likhet: övning 6 sid 112.
Prenexform: Övningarna 1b,d sid 92.
Övning 16 december
Prenexform: övningarna 1b,d sid 92.
Övningarna i det jag skrivit om Kripkemodeller.
Upp: Matematisk logik