HUMIT1750MN H?st 2006

Oppgaver til uke 42

?Del 3 av oblig2 var ikke obligatorisk, og vi gjennomg?r denne allerede n?.

Videre ser vi p? oblig2 fra ifjor?(noe av dette vil dere kjenne igjen...) og p? oppgave 5 og 6 fra eksamen i fjor.? I oppgave 5 ser vi ogs? p? prenex normalform av resultatet.

Hvis det blir tid, kan vi se p? oppgaver fra tidligere uker som vi ikke har rukket ? gjennomg?.

Og hvis noen har lyst til ? pr?ve seg p? flere oversettelsesoppgaver, finnes det mange morsomme her. (OBS: I oversettelsesoppgaver p? de fire f?rste sidene er det bare meningen at man skal oversette til utsagnslogikk.? Fra og med side 5 blir man bedt om ? oversette til predikatlogikk.)