Diskusi 3.

Logika Informatika

Buatlah pohon semantik dan tentukan sifat yang mungkin dari kalimat
berikut ini:

F: (not Q and (P if and only if (R or Q)))

Jawaban :

Kalimat 1 = (R or Q)  R ˅ Q

 (R or Q)  R ˅ Q
Tabel Kebenaran
R Q R˅Q Selanjutnya untuk memudahkan
False False False
pemahaman maka R ˅ Q kita
False True True
True False True misalkan sebagai A
True True True

Kalimat 2 = (P if and only if (R or Q))

 P if and only if A
 P↔A
Tabel Kebenaran
P R˅Q P↔ (R ˅ Q)
False False True Selanjutnya untuk memudahkan
False True False pemahaman maka P↔ (R ˅ Q )
True False False kita misalkan sebagai B
True True True

Kalimat lengkap =

F: (not Q and (P if and only if (R or Q)))

F: (not Q and B)

F: ¬ Q ˄ B

Tabel Kebenaran
¬Q B ¬Q˄B
False False False Selanjutnya untuk memudahkan
False True False pemahaman maka P↔ (R ˅ Q )
True False False kita misalkan sebagai B
True True True
KESIMPULANNYA :

 Banyak jalur yang panjangnya 1 ada 1, yaitu jalur node1-node2

 Banyak jalur yang panjangnya 2 ada 0 (berarti tidak ada jalur dengan panjang
2)
 Banyak jalur yang panjangnya 3 ada 4, yaitu :
 Jalur node1-node3-node4-node5
 Jalur node1-node3-node4-node6
 Jalur node1-node3-node7-node8
 Jalur node1-node3-node7-node9

F: (not Q and (P if and only if (R or Q))

F T T

Q true Q false

3
2
P true P false
4
7
Q true Q false
R true
R false

9
5 6 8