/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 lämnar in den genom e-post till malo. Det är lätt att se att labben är riktigt löst: det får inte finnas kvar några ?.
Mer informationen får ni vid den första handledda laborationen, som är tisdagen 17 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.