Oppgavesett 10 til gruppetimen 3. …

Oppgavesett 10 til gruppetimen 3. mai er lagt ut i revidert utgave. Følgende endringer er gjort:

• Det er lagt til flere sekventer i oppgave 1.
• Definisjon (II) av deltaregelen er endret. Skolemfunksjonen har som argument de frie variablene i konklusjonen, ikke i utledningen som tidligere.
• En ekstra oppgave er lagt til (oppgave 8).