Diskusi 4 Logika Informatika PDF

Preview

Summary

Download Diskusi 4 Logika Informatika PDF

Description

Nama : Panji Alifian NIM : 042284319 Diskusi 4 Logika Informatika Dengan menggunakan 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 :

1

P True

P False

2

(P or Q) True

5

(P or Q) False

(P or Q) True

(P or Q) False

3

4

6

7

T

T

T

T...