Övning 12 november
Uppgift 9 sid. 15. Några av påståendena i
Thm 1.3.4 sid. 23. Uppgift 3 sid 28. Disjunktiv normalform för någon
av formlerna i uppgift 10 sid. 28. Blir det tid över finns massor av
övningar i naturlig deduktion på sid. 39.
Övning 19 november
Uppgifterna 1-3 sid. 47, 5 sid. 48 (resultatet behövs i beviset av
fullständighetssatsen). 3 b,d, 5 sid. 39. 7 sid. 55.
Övning 26 november
Uppgifterna 7-9 sid. 48, 1 (i)-(v) sid. 60, 4 d-h sid. 68,
4b sid. 54, 5 sid. 55.
Övning 3 december
Uppgifterna 2-4 sid. 90. Visa uppgift 1 (i) sid. 96 med naturlig
deduktion; visa också att omvändningen (implikationen från höger till
vänster) inte gäller genom att ge en modell i vilken negationen är
sann. Uppgifterna 2-4 sid 103; för dessa uppgifter måste du läsa
igenom 2.10 (som vi inte gått igenom på föreläsningarna).
Uppgift 22 sid. 160.
Övning 10 december
Uppgift 10 sid. 91. Uppgift 7 och 13 sid. 119. 4:e uppgiften i 2 sid
185 dvs visa |- not(not((not(not p) -> p)), utan RAA naturligtvis. De
två första uppgifterna i 9a sid 186, 17a sid 187. Ge också en
Kripkemodell i vilken Peires lag är falsk.
Övning 17 december
Vi löser uppgifter från oktober 97 tentan.
Upp: Matematisk logik