Aturan ketiga
Berikutnya kita akan menarik kesimpulan lagi dengan aturan ketiga.
Mari kita mulai. Kita bisa mulai dengan menuliskan R3 terlebih dahulu.
R3 dapat diganti variabelnya menggunakan IU.
Bagaimana memilih x, y, z?
Kita memilih pengganti
Seandainya kamu memilih
Karena kita memilih
Sampai di sini, kita memerlukan informasi mengenai
Untuk menggunakan modus ponens, kita tidak dapat langsung menghubungkan L2 dengan A1 dan A2 sekaligus.
Penyebabnya adalah anteseden pada L2 adalah berupa konjungsi.
Kita perlu menggabungkan A1 dan A2 terlebih dahulu menggunakan IK.
Baru sekarang kita dapat menggabungkan L2 dengan L3 menggunakan modus ponens (MP).
Ternyata kesimpulan akhir yang didapat adalah Amburegul mengungu Emeseyu, yang dapat dinomori sebagai T7.
Graf kita menjadi lebih lengkap lagi sekarang.
Amburegul | Bahrelway | Emeseyu | Titanigo | |
---|---|---|---|---|
Amburegul | T1 | A1 | T7 | |
Bahrelway | T6 | T2 | A2 | A3 |
Emeseyu | T5 | T3 | ||
Titanigo | T4 |
Berikutnya: Menerapkan aturan pada teorema