FORUM DISKUSI KB 3

Penyelesaian No. 3

Ketika matahari meninggi dan bulan tak mau pergi, maka aku akan mencari.
Jika kau seru angin berbisik, matahari akan meninggi.
Jika bulan hendak bergeser menjauh, gerimis pun tak mau jatuh.
Kau seru angin untuk berbisik dan hujan pun mau menitik.
Jadi, aku akan mencari.

Misalkan:
Matahari meninggi : p
Bulan tak mau pergi : q
Bulan hendak bergeser menjauh : q
Aku akan mencari : r
Kau seru angin berbisik : s
Gerimis pun tak mau jatuh : t
Hujan pun mau menitik : t

Premis 1 : p ⋀q → r
Premis 2 : s→p
Premis 3 : q→t
Premis 4 : s⋀ t

 r

Inferensi yang dapat dilakukan adalah sebagai berikut:

1. p ⋀q → r
2. s → p
3. q→t
4. s ⋀ t
5. s ( 4. Simplifikasi)
6. p (2.5 Modus ponens)
7. t ( 4. Simplifikasi)
8. q ( 3.7. Modus tolens)
9. ( p ⋀ q) (6,8 penambahan konjungtif)
10. r (1,9 Modus ponens)

Jadi, kesimpulan yang didapat adalah r : Aku akan mencari.