Kapittel 3 – Semantikk for utsagnslogikk / Logisk ekvivalens