Nama : Ayuni Karuniawati

NIM : 042260216
Prodi : Sistem Informasi
Matkul : Logika Informatika – MSIM4103

DISKUSI KE 3

Buatlah pohon semantik dan tentukan sifat yang mungkin dari kalimat berikut ini:
F: (not Q and (P if and only if (R or Q)))
Penyelesaian:
A. Membuat Pohon Semantik
1. Membuat node 1 sebagai node akar dan node 2 sebagai cabang. Garis yang
menghubungkan diberi label simbol proposisional yang paling pertama yaitu Q, dan
bernilai true. 1

2
Node 1: Node akar
Node 2: F: ( not Q and (P if and only if ( R or Q)))
F T F T T
Berdasarkan aturan konjungsi maka kalimat F bernilai false. Node 2 diberi label F.
2. Membuat node 3 yang dihubungkan dari node 1. Garis dilabeli simbol Q dan bernilai
false.
1

2 3
F
Node 3: F: ( not Q and (P if and only if ( R or Q)))
T F F
Nilai dari kalimat F belum dapat ditentukan.
3. Membuat node 4 dari node 3 dengan garis berlabel simbol P bernilai true.
1

2 3
F

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

T F T F
Nilai dari kalimat F belum dapat ditentukan.
4. Membuat node 5 dari node 4 dengan garis berlabel simbol R bernilai true.
1

2 3
F

5
 Node 5: F: ( not Q and (P if and only if ( R or Q)))
T F T T T T T F
Berdasarkan aturan konjungsi maka kalimat F bernilai true. Node 5 diberi label T.
5. Membuat node 6 dari node 4 dengan garis berlabel simbol R bernilai false.

2 3
F

5 6
T
Node 6: F: ( not Q and (P if and only if ( R or Q)))
T F F T F F F F
Berdasarkan aturan konjungsi maka kalimat F bernilai false. Node 6 diberi label F.
6. Membuat node 7 dari node 3 dengan garis berlabel simbol P false.
1

2 3
F

4 7

5 6
T F
Node 7: F: ( not Q and (P if and only if ( R or Q)))
T F F F
Nilai dari kalimat F belum dapat ditentukan.
7. Membuat node 8 dari node 7 dengan garis berlabel simbol R true.
1

2 3
F

4 7

5 6 8
T F F
Node 8: F: ( not Q and (P if and only if ( R or Q)))
T F F F F T T F
Berdasarkan aturan konjungsi maka kalimat F bernilai false. Node 8 diberi label F.
 8. Membuat node 9 dari node 7 dengan garis berlabel simbol R false.
1

2 3
F

4 7

5 6 8 9
T F F T
Node 6: F: ( not Q and (P if and only if ( R or Q)))
T F T F T F F F
Berdasarkan aturan konjungsi maka kalimat F bernilai true. Node 9 diberi label T.
B. Menentukan Sifat Kalimat F
Berdasarkan pohon sematik A diperoleh bahwa kalimat F memiliki nilai:
• False pada node 2
• True pada node 5
• False pada node 6
• False pada node 8
• True pada node 9
Dengan demikian kalimat F bersifat satisfiable karena memiliki nilai true pada suatu
interpretasinya, yaitu pada line:
• node 1 – node 3 – node 4 – node 5
• node 1 – node 3 – node 7 – node 9

Referensi:
BMP MSIM 4103 Logika Informatika