kap 1.1 - Implikasjon og ekvivalens