Diskusi 4 : Logika Informatika (MSIM 4103)

Nama : Moch Sofyan Indra Pratama

NIM : 045299428
Prodi : S1-Sistem Informasi
 Dengan menggunkn pohon semantik, apakah kalimat dibawah 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 kondisionaldengan 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 semantik dari kalimat tersebut :

P True P False

2 5

(P or Q) True (P or Q) False (P or Q) True (P or Q) False

3 4 6 7

T T T T