Kapittel 3 – Semantikk for utsagnslogikk / Valuasjoner og sannhetsverditabeller

Definisjon: Sannhetsverditabell

Hva syns du om denne videoen?
(Én stjerne er dårligst, tre stjerner er middels og fem stjerner er best.)
(Hvordan kan denne videoen bli bedre?)

Følg Rogers oppfordring og sett opp sannhetsverditabell for noen enkle formler du finner på selv! Det skal være 2 rader i sannhetsverditabellen for en formel med 1 utsagnsvariabel, 4 rader for en formel med 2 utsagnsvariabler (som i eksempelet i videoen), 8 rader for en formel med 3 utsagnsvariabler, og så videre. ($2^n$ rader for en formel med $n$ utsagnsvariabler.)

Se også oppgave-eksempelet side 32 i boka.