~malo/KripkeLabbAlfa
Detta är en svår labb och kommer att ge 1 bonuspoäng för VG. Det finns mycket kommentarer i labben och många av bevisen är redan genomförda.
Sista inlämningsdag: 21 januari.
Obs! i det här beviset skall man inte använda ND style proof! Och Alfa måste startas utan flaggan norec eftersom det finns rekursiva anrop!
För att förstå syntaxen är det lämpligt att titta på Agdas hemsida. Jag har också gjort en liten uppvärmingsfil, med några enkla exempel från sats- och predikatlogik.
/users/mdstud/malo/uppvarmning.kripke
med lösningar
/users/mdstud/malo/uppvarmning.kripke.lösn