/users/mdstud/malo/labb_predikatlogik_1
/users/mdstud/malo/labb_predikatlogik_2
/users/mdstud/malo/labb_predikatlogik_3
Sista inlämningsdag är 21 december. När ni är färdiga kan ni sända mig en e-post med namnet på filerna med lösningarna. 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 1 december 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.