DISKUSI 4

Nama : Eko Rizky Manpralestyo Nurcholis

NIM : 048939482

Logika Informatika

Pertanyaan:

Dengan menggunakan pohon semantik, apakah kalimat di bawah ini valid !

(if false then notP else (P or Q) if and only if (P or Q)

Jawab :

Akan dibuktikan validitas kalimat (if false then notP else (P or Q) if and only if (P or Q)
dengan menggunakan aturan True-False.

Diketahui bahwa bentuk kalimatnya kondisional dengan klausa if-false. Berdasarkan aturan
semantik, nilai kalimat kondisional sama dengan nilai klausa else(P or Q). Sehingga terlihat
nilai sisi kiri selalu sama dengan nilai sisi kanan. Jadi terbukti kalimat (if false then notP else
(P or Q) if and only if (P or Q) merupakan kalimat valid. Berikut pohon semantrik dari
kalimat tersebut.

REFERENSI : BMP MSIM 4103 Logika Informatika