Untuk membuat pohon semantik untuk kalimat logika proposisional E: "if (not P) then (R

or P) else (P and R)", pertama-tama kita perlu menentukan tabel kebenaran untuk
kalimat ini. Kemudian, dari tabel kebenaran tersebut, kita dapat membangun pohon
semantik.

Mari kita buat tabel kebenaran untuk kalimat E:

P R not P R or P P and R if (not P) then (R or P) else (P and R)

T T F T T T

T F F T F F

F T T T F T

F F T F F F

Setelah mendapatkan tabel kebenaran, kita dapat membangun pohon semantik:

if (not P) then (R or P) else (P and R)

/ \

not P P and R

| / \

P R P

/\ |

T F T
 | |

F F

Sifat kalimat yang mungkin untuk kalimat E adalah "satisfiable". Hal ini karena ada nilai-nilai
kebenaran untuk variabel P dan R yang membuat kalimat E menjadi benar (T). Sebagai contoh,
ketika P adalah benar (T) dan R adalah benar (T), kalimat E menjadi benar (T). Selain itu, ketika P
adalah salah (F) dan R adalah benar (T), kalimat E juga menjadi benar (T). Jadi, kalimat E memiliki
interpretasi yang membuatnya benar dan oleh karena itu kalimat ini satisfiable.