Pengertian Pohon Semantik
Semantic Tree atau pohon semantic adalah salah satu metode untuk menentukan nilai kebenaran ( truth value) dari kalimat logika. Teknik semantic ini digambarkan dengan menggunakan lingkaran dan garis yang mirip dengan struktur jaringan atau truktur pohon yaitu ada nya node/simpul, maka dari itu metode ini disebut dengan pohon semantik atau semantic tree.
Setelah kita mengerti pengertian pohon semantik, saya akan memberika beberapa contoh, agar kalian lebih paham maksut saya. Dan cara penyelesainnya.
Contoh Soal.
- F = ((a ⇒ b) ⇒ (( ¬a) ⇒ (¬b )))
Penyelesaian Menggunakan Metode Pohon Semantik (semantic tree)
Pohon Semantik 1.
Andaikan ((a ⇒ b) ⇒ (( ¬a) ⇒ (¬b ))). p mempunyai dua kemungkinan Nilai True dan Nilai False.
Dari Kalimat F :
|
if
|
(if
|
a
|
Then
|
b)
|
then
|
(if
|
not
|
b)
|
Then
|
not
|
a)
|
t
|
t
|
Pohon Semantik 2
Dari Kalimat F :
|
if
|
(if
|
a
|
Then
|
b)
|
then
|
(if
|
not
|
a)
|
Then
|
not
|
b)
|
t
|
f
|
t
|
Subkalimat F :
|
(if
|
(not
|
a)
|
then
|
(not
|
b)
|
f
|
t
|
Dari Kalimat F :
|
if
|
(if
|
a
|
Then
|
b)
|
then
|
(if
|
not
|
a)
|
Then
|
not
|
b)
|
t
|
t
|
t
|
f
|
t
|
Pohon Semantik 3
Dari Kalimat F :
|
if
|
(if
|
a
|
Then
|
b)
|
then
|
(if
|
not
|
a)
|
Then
|
not
|
b)
|
f
|
f
|
Dari Kalimat F :
|
if
|
(if
|
a
|
Then
|
b)
|
then
|
(if
|
not
|
a)
|
Then
|
not
|
b)
|
t
|
f
|
t
|
f
|
Pohon Semantik 4
Perhatikan Pada Node 4.
Pohon Semantik 5
Kalimat H :
|
if
|
b
|
Then
|
if
|
a
|
Then
|
b
|
t
|
?
|
t
|
Kalimat H :
|
if
|
b
|
Then
|
if
|
a
|
Then
|
b
|
t
|
t
|
t
|
?
|
t
|
Pohon Semantik 6
Kalimat H :
|
if
|
b
|
Then
|
if
|
a
|
Then
|
b
|
t
|
t
|
?
|
?
|
f
|
KETERANGAN
- Jika p true maka a ⇒ b pasti T, dan ¬a pasti F jadi ¬a ⇒ ¬b pasti T . Jadi
((a ⇒ b) ⇒ (( ¬a) ⇒ (¬b ))) pasti T
- Jika a false maka a ⇒ b pasti T, dan ¬a pasti T jadi ¬a ⇒ ¬b tgt nilai b . Jadi ((a ⇒ b) ⇒ (( ¬a) ⇒ (¬b ))) juga tergantung nilai q.
-Jika b true maka a ⇒ b True, ¬a false, jadi ¬a ⇒ ¬b F(False), didapat F-Jika b false maka a ⇒ b True, ¬b true, jadi ¬a ⇒ ¬b T(True), didapat T
Untuk Memperjelas saya kasih Gambar yang lebih mudah dimengerti..
Untuk membuktikan apakah dengan pohon semantik itu betul betul sama mari kita coba menyelesaikan menggunakan metode tabel kebenaran.
Penyelesaian menggunakan metode Tabel Kebenaran.
p
|
q
|
¬p
|
¬q
|
(p ⇒ q)
|
(( ¬p) ⇒ (¬q ))
|
((p ⇒ q) ⇒ (( ¬p) ⇒ (¬q )))
|
T
|
T
|
F
|
F
|
T
|
T
|
T
|
T
|
F
|
F
|
T
|
F
|
T
|
T
|
F
|
T
|
T
|
F
|
T
|
F
|
F
|
F
|
F
|
T
|
T
|
T
|
T
|
T
|
Demikian Penjelasan mengenai Pohon Semantik, Semoga dengan artikel ini kalian dapat paham dan mengerti mengenai cara mecari kebenaran menggunakan Pohon Semantik. Sekian postingan kali ini jika terdapat pertanyaan, saran, ataupun kritik langsung saja tulis di kolom komentar secepatnya akan saya respon. Terimakasih telah berkunjung di Situs Kami
Pohon Semantik (Semantic Tree) - Logika Proposisional
Terima Kasih
OmahInformatika.xyz
0 Response to "Pohon Semantik (Semantic Tree) - Logika Proposisional"
Post a Comment