INF1800 H?sten 2007

Oppgaver uke 40

Oppgave 3ac, 4ace, 5ace, 6a, 7ace, 8aceg, 9a og 10aceg side 430--432  i l?reboken.

Oversett f?lgende til predikatlogikk.

1. Hver dag har noen f?dselsdag, men ingen har f?dselsdag hver dag.

2. Alle kjenner noen som har f?dselsdag p? samme dag som seg selv.

3. Noen har f?dselsdag og navnedag p? samme dag.

4. Ola har f?dselsdag p? samme dag som Kari har navnedag.

5. Alle har en f?dselsdag, men ikke alle har en navnedag.

Eventuelt gjennomgang av obligatorisk oppgave 1 hvis noen ?nsker det.