Obligatorisk oppgave 2 er n? ¡­

Obligatorisk oppgave 2 er n? lagt ut. Tema er bevis i utsagnslogikk og tolkning av utsagn i predikatlogikk. Se gjerne over oppgaveteksten som en oppvarming til neste ukes forelesninger. Da begynner vi med kapittel 7. Det anbefales sterkt at man har lest avsnitt 7.1 i l?reboken f?r forelesningen tirsdag 26/9.