Nama : Tuti Rahmawati

NIM : 048881613

UPBJJ : UT Bandung

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

( )))

Tabel Kebenaran

Negasi Disjungsi Konjungsi

Ekuivalensi / Biimplikasi
P Q R Not Or And

) ( )) ( )))

B B B S B B S

B B S S B B S

B S B B B B B

B S S B S S S

S B B S B S S

S B S S B S S

S S B B B S S

S S S B S B B

Langkah
1 2 3 4
Ke
Pohon Semantik

Penjelasan:

 Konjungsi (and) = dua proposisi akan bernilai true jika keduanya bernilai true.

 Disjungsi (or) = dua proposisi akan bernilai true jika keduanya bernilai true atau salah satu

proposisi nya bernilai true.

 Ekuivalensi / Biimplikasi = dua proposisi akan bernilai true jika keduanya sama-sama

bernilai true atau sama-sama bernilai false.

a. Langkah 1

Berdasarkan Jalur node1 – node2 (panjang jalur 1) = Q true.

( ( )))
F T

F T
 (R or Q) dianggap bernilai true karena Q bernilai true walau belum diketahui nilai R.

Dalam disjungsi (or), dua proposisi akan bernilai true jika keduanya bernilai true atau

salah satu proposisi nya bernilai true.

 (not Q and (P if and only if (R or Q))) dianggap bernilai false karena not Q bernilai false

walau belum diketahui nilai (P if and only if (R or Q)). Dalam konjungsi (and), dua
 proposisi akan bernilai true jika keduanya sama-sama bernilai true, namun not Q bernilai

false sehingga dipastikan hasil akhirnya pun akan false.

b. Langkah 2

Berdasarkan Jalur node1 – node3 (panjang jalur 1) = Q false.

( ( )))
T ? ? F
 (R or Q) nilainya belum bisa ditentukan karena Q bernilai false dan belum diketahui nilai

R. Dalam disjungsi (or), jika salah satu proposisinya bernilai false ada 2 kemungkinan,

akhirnya akan bernilai true atau false. Jika R bernilai false maka (R or Q) bernilai false

tetapi jika R bernilai true maka (R or Q) bernilai true. Namun disini nilai R belum

ditemukan.

 (not Q and (P if and only if (R or Q))) nilainya belum bisa ditentukan karena nilai (R or Q),

P dan (P if and only if (R or Q)) belum ditemukan/ditentukan.

c. Langkah 3

Berdasarkan Jalur node1 – node3 – node4 (panjang jalur 2) = Q false, P true.

( ( )))
T T ? F
 (R or Q) nilainya belum bisa ditentukan karena Q bernilai false dan belum diketahui nilai

R. Dalam disjungsi (or), jika salah satu proposisinya bernilai false ada 2 kemungkinan,

akhirnya akan bernilai true atau false. Jika R bernilai false maka (R or Q) bernilai false

tetapi jika R bernilai true maka (R or Q) bernilai true. Namun disini nilai R belum

ditemukan sehingga nilai (not Q and (P if and only if (R or Q))) belum bisa ditentukan.
d. Langkah 4

Berdasarkan Jalur node1 – node3 – node4 – node5 (panjang jalur 3) = Q false, P true, R

true.

( ( )))
T F

T T

T T

e. Langkah 5

Berdasarkan Jalur node1 – node3 – node4 – node6 (panjang jalur 3) = Q false, P true, R

false.

( ( )))
F F

T F

T F

F
f. Langkah 6

Berdasarkan Jalur node1 – node3 – node7 (panjang jalur 2) = Q false, P false.

( ( )))
T F ? F
  (R or Q) nilainya belum bisa ditentukan karena Q bernilai false dan belum diketahui nilai

R. Dalam disjungsi (or), jika salah satu proposisinya bernilai false ada 2 kemungkinan,

akhirnya akan bernilai true atau false. Jika R bernilai false maka (R or Q) bernilai false

tetapi jika R bernilai true maka (R or Q) bernilai true. Namun disini nilai R belum

ditemukan sehingga nilai (not Q and (P if and only if (R or Q))) belum bisa ditentukan..

g. Langkah 7

Berdasarkan Jalur node1 – node3 – node7 – node8 (panjang jalur 3) = Q false, P false, R

true.

( ( )))
T F

F T

T F

F
h. Langkah 8

Berdasarkan Jalur node1 – node3 – node7 – node9 (panjang jalur 3) = Q false, P false, R

false.

( ( )))
F F

F F

T T

T
 Sifat Kalimat

Berikut nilai kebenaran masing-masing node leaf, diantaranya:

a. Node leaf 2 bernilai false

b. Node leaf 5 bernilai true

c. Node leaf 6 bernilai false

d. Node leaf 8 bernilai false

e. Node leaf 9 bernilai true

Sehingga kalimat ( ))) memiliki sifat kalimat satisfiable

karena keadaan pohon semantik nya tidak semua node leaf bernilai true (hanya terdapat sebagian

node leaf yang bernilai true).

Referensi:

BMP Logika Informatika MSIM4103/MODUL 3, Kegiatan Belajar 1 Pohon Semantik, 3.4 – 3.18.

BMP Logika Informatika MSIM4103/MODUL 3, Kegiatan Belajar 2 Sifat-Sifat Kalimat, 3.23.

BMP Pengantar Matematika MATA4101/Modul 3, Kegiatan 1 Proposisi, Hubungan Logis, dan

Keekuivalenan, 3.11 – 3.24.

Materi Video Pengayaan Minggu ke 2 b Aturan Semantik Proposisi.

Infusion Learning. MEMBUAT POHON SEMANTIK!!! MATAKULIAH LOGIKA MATEMATIKA!!!. Di

akses dari: https://youtu.be/h1CBxfW1mxs?si=A1Y5Qg4VBUhtY7KO, 22 April 2024.

Infusion Learning. Menentukan SIFAT KALIMAT PROPOSISI Menggunakan POHON

SEMANTIK!!!. https://youtu.be/egGJoRNb1ek?si=HDG6GHjOtRY9eYTi, 22 April 2024.

n-gl.com