Kapittel 2 – Utsagnslogikk / Introduksjon