Oppgavesett 2 med ukeoppgaver og …

Oppgavesett 2 med ukeoppgaver og datoer for obligatoriske oppgaver er lagt ut. Forelesningsnotater fra forelesning 2 er lagt ut under undervisningsplanen.

Løsningsforslag til ukeoppgaver: Vi har ikke løsningsforslag til ukeoppgavene, så av den grunn blir det vanskelig å legge dem ut. Se under ukeoppgaver.

Norsk-engelsk ordliste er lagt ut her.

Hvorfor multimengder i sekventer? I klassisk utsagnslogikk (som ble forelest 29/1) kan vi klare oss med mengder. I de fleste andre logikker trenger i imidlertid kontraksjon, dvs. muligheten til å kopiere formler før vi analyserer dem. Derfor må vi ha multimengder i sekventene. Dette vil bli klarere når vi kommer til intuisjonistisk logikk og førsteordens logikk.