Id a g Likhetslogikk (1) Likhetslogikk (2) Slutningsregler