Diskusi 3 Logika Informatika [PDF]

Citation preview

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 False False False False True True True False True True True True



Selanjutnya untuk memudahkan pemahaman maka R ˅ Q kita misalkan sebagai A



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



P if and only if A P↔A Tabel Kebenaran P R˅Q False False False True True False True True



P↔ (R ˅ Q) True False False True



Selanjutnya untuk memudahkan pemahaman maka P↔ (R ˅ Q ) kita misalkan sebagai B



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 False False False True True False True True



¬Q˄B False False False True



Selanjutnya untuk memudahkan pemahaman maka P↔ (R ˅ Q ) kita misalkan sebagai B



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 1 Q false



Q true



3



2



P true



P false



4 7 R true



5



Q true



Q false



R false



6



8



9