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.