/users/mdstud/malo/labb_satslogik
Ingen av uppgifterna är stora, speciellt inte djupet på bevisträdet; härledningen av assoc-disj blir dock ganska bred. Men en del är kluriga, t ex Not_Not_LEM och de om Peirces lag.
Ni har gott om tid på er: sista inlämningsdag är 5 december. Och ni får 1 bonuspoäng för godkänt på tentan. Det är lätt att se att labben är riktigt löst: det får inte finnas kvar några ?. Och när ni är färdiga så skickar ni e-post med era namn och vad filen heter till malo, så kommer Anders Claesson att kolla att ni verkligen inte har några ? kvar!
Mer informationen får ni vid den första handledda laborationen, som är tisdagen 16 november kl 8.00.
Lycka till!
--Jan
PS. Alfa startas med kommandot alfa - -norec . Och en härledning startas alltid med att man väljer ND Style Proof i menyn.