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.