Læreboka Avsnitt1.1 Utsagnslogikk. Et utsagn (eng: proposition) er