Oppgavesett 5 lagt ut. Vi ¡­

Oppgavesett 5 lagt ut.

Vi har dekket van Dalen 1.4 og 1.6 (Avigad opp til 4.3 og 4.7). Merk at vi ser p? "eller" som et primitivt (ikkedefinert) konnektiv. Slutningsreglene for "eller" st?r i 1.6. van Dalen (Avigad 4.7).

Neste uke vil vi vise sunnhet og kompletthet for setningslogikk, stoffet som st?r i van Dalen 1.5 og Avigad 4.4-4.6. (Vi blir antageligvis ikke ferdige med kompletthet f?r uken etter).