LING1100 Innføring i semantikk og pragmatikkTilbake

4.P Prøver til del 4: Formell verktøykasse: predikatlogikk, kvantorer og modellteori

Fire prøver som dekker del 4 (formell verktøykasse: predikatlogikk, kvantorer og modellteori) på eksamensnivå, med fulle løsningsforslag.

120 min

0 oppgaver

Prøver til del 4Formell verktøykassepredikatlogikkkvantorermodellteori

Din fremgang i kapitlet

0 / 0 oppgaver

Kapitlets plass i kurset

Bygger på

4.4Drill — oversett til predikatlogikk og evaluer mot modell (fasit)

Fire prøver à omtrent 30 minutter. De dekker hele Del 4: predikatlogisk oversettelse med kvantorer fra kap. 4.1, virkefelt og kvantorløfting fra kap. 4.2, modeller og evaluering fra kap. 4.3, og føringen som drilles i kap. 4.4.

- Ta én prøve om gangen. Prøvene kan trygt deles over flere kvelder, og det er bedre å ta én i uka enn alle fire på én ettermiddag.
- Flervalget ligger i prøve 1, som del A. De øvrige oppgavene er skriveoppgaver i eksamensform og skal besvares med penn og papir før du åpner fasiten.
- Del 4 er emnets nyeste verktøykasse. Predikatlogisk oversettelse og modell-evaluering er prøvd i 1 av de 12 settene i materialet, høsten 2024, og funksjonsapparatet bak i 1 av 12 til, høsten 2018. Scope og kvantorløfting er prøvd i 2 av de 12 settene, høsten 2012 og høsten 2018.
- Dette er fasit-territorium. Den ene sensorveiledningen som finnes, for høsten 2022, er kategorisk på at vaghet i formelle svar teller som feil, ikke som svakhet. Her er vaghet særlig manglende framgangsmåte: en riktig sannhetsverdi uten oppslag er et gjettet svar.
- Fasitene er nyskrevet av oss. LING1100 har ingen publiserte løsningsforslag og ingen fasit.
- Etter hver fasit står en avkryssbar sjekkliste. Bruk den på ditt eget svar før du leser videre.

Merk om prøve 4: den kombinerer oversettelse og evaluering på ett og samme domene, slik det nyeste settformatet gjør. Det er den prøven som ligner mest på en ekte eksamensoppgave i denne delen, og den er verdt å ta på tid.

Forkunnskaper: Prøvene forutsetter hele Del 4, altså kap. 4.1, kap. 4.2, kap. 4.3 og drillen i kap. 4.4. Konnektivene og sannhetstabellene kommer fra kap. 3.1, mengdelæren fra kap. 3.4.

Sist du var her — de fire reglene alt her hviler på:

- Parringsregelen: $\forall$ parres med $\rightarrow$ , $\exists$ parres med $\land$ .
- Ordnede par er ordnede: $\langle a,b\rangle \neq \langle b,a\rangle$ .
- Leseregelen for virkefelt: den kvantoren som står lengst til venstre, er valgt én gang for alle.
- Evalueringsregelen: $P(t)$ er sann hviss $F(t) \in F(P)$ ; $R(t_1,t_2)$ er sann hviss $\langle F(t_1), F(t_2)\rangle \in F(R)$ .

Prøve 1

Prøve 2

Prøve 3

Prøve 4

Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.

Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av den aktuelle utdanningsinstitusjonen. Dette er ikke offisielt studiemateriell. Les mer.