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
Publisert 21. jan. 2005 01:00
- Sist endret 19. mai 2005 13:30