Aturan ketiga

Berikutnya kita akan menarik kesimpulan lagi dengan aturan ketiga.

R3
ng(x,y) \land ng(y,z) \implies ng(x,z)

Mari kita mulai. Kita bisa mulai dengan menuliskan R3 terlebih dahulu.

Diagram penarikan kesimpulan

R3 dapat diganti variabelnya menggunakan IU.

Diagram penarikan kesimpulan

Bagaimana memilih x, y, z?

Kita memilih pengganti x, y, dan z berdasarkan ketersediaan informasi.

Seandainya kamu memilih x=T, y=E, z=B, pernyataan yang dihasilkan adalah ng(T,E)\land ng(E,B)\implies ng(T,B). ng(E,B) memang tersedia (T5), tetapi informasi terkait ng(T,E) dan ng(T,B) belum tersedia, sehingga kita belum dapat menarik kesimpulan pasti.

Diagram penarikan kesimpulan

Karena kita memilih x=A, y=B, dan z=E, pernyataan yang dihasilkan adalah ng(A,B)\land ng(B,E) \implies ng(A,E). ng(A,B) tersedia (A1), ng(B,E) tersedia (A2), tinggal ng(A,E) yang perlu disimpulkan. Jadi hanya satu pernyataan yang perlu disimpulkan alih-alih dua.

Diagram penarikan kesimpulan

Sampai di sini, kita memerlukan informasi mengenai ng(A,B) dan ng(B,E), yang sudah tersedia sebagai A1 dan A2.

Diagram penarikan kesimpulan

Untuk menggunakan modus ponens, kita tidak dapat langsung menghubungkan L2 dengan A1 dan A2 sekaligus.

Diagram penarikan kesimpulan

Penyebabnya adalah anteseden pada L2 adalah berupa konjungsi.

Diagram penarikan kesimpulan

Kita perlu menggabungkan A1 dan A2 terlebih dahulu menggunakan IK.

Diagram penarikan kesimpulan

Baru sekarang kita dapat menggabungkan L2 dengan L3 menggunakan modus ponens (MP).

Diagram penarikan kesimpulan

Ternyata kesimpulan akhir yang didapat adalah Amburegul mengungu Emeseyu, yang dapat dinomori sebagai T7.

T7
ng(A,E)

Graf kita menjadi lebih lengkap lagi sekarang.

Graf berarah dengan tambahan T7.
AmburegulBahrelwayEmeseyuTitanigo
AmburegulT1A1T7
BahrelwayT6T2A2A3
EmeseyuT5T3
TitanigoT4

Berikutnya: Menerapkan aturan pada teorema

Ditulis oleh
Pak Ari
Ditulis pada
Terakhir diupdate
Dipublikasikan
Frase kunci
logika sistem deduktif relasi biner