OBLIG 1 Leveres fredag 11 ¡­

OBLIG 1

Leveres fredag 11 februar

P? side 25 i boka er det 13 aksiomer - fra K til L.

Unders?k om disse aksiomene er gyldige / falsifiserbare i logikkene K T S4 S5 og G