Det ble gjort en feil ¡­

Det ble gjort en feil p? tavla under tirsdagens forelesning! Vi ser naturligvis alvorlig p? dette, og stikker forbi gruppetimen p? fredag for ? rette opp. I korthet s? er eller-eliminasjonsregelen litt subtil, og det gikk for raskt i svingene under induksjonsbeviset for sunnhet m.h.t. valuasjoner i Boolske algebraer.