Contoh 1.2 Diketahui kalimat F: if not(P or Q) then (notP and R) bernilai false. Tentukan
semua interpretasi yang mungkin untuk F sehingga F bernilai false.
Diketahui: if not(P or Q) then (notP and R) bernilai false
aturan if-then: a) not(P or Q) bernilai true
b) notP and R bernilai false
Dari a), dengan
aturan not: a.1) (P or Q) bernilai false
aturan or: a.1.1) P bernilai false, Q bernilai false
Dari b), dengan
aturan and: b.1) notP bernilai false, R bernilai true
b.2) notP bernilai true, R bernilai false
b.3) notP bernilai false, R bernilai false
Dari b.1), dengan
aturan not: b.1.1) P bernilai true, R bernilai true (tidak memenuhi a))
Dari b.2), dengan
aturan not: b.2.1) P bernilai false, R bernilai false (memenuhi a))
Dari b.3), dengan
aturan not: b.3.1) P bernilai true, R bernilai false (tidak memenuhi a))