Kegiatan Belajar 3 [PDF]

Citation preview

KEGIATAN BELAJAR 3 NO. 3



Akan dibuktikan validitas argumen berikut :



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 Untuk memudahkan pembuktian, kita misalkan sebagai berikut : a : matahari meninggi b : bulan pergi = bulan bergeser menjauh c : aku akan mencari d : kau seru angin berbisik e : gerimis jatuh = hujan mau menitik Sehingga dapat dituliskan sebagai berikut : p1 : a ˄∼b ⇒ c p2 : d ⇒ a p3 : b ⇒∼e p4 : d ∧ e ∴c Pembuktian 1. (a ˄∼b) ⇒ c



(premis)



2. d ⇒ a



(premis)



3. b ⇒∼e



(premis)



4. d ∧ e



(premis)



5. e ⇒ ∼ b



(3 : hukum transposisi)



6. d



(4 : simplifikasi)



7. e



(4 : simplifikasi)



8. a



(2,6 : modus ponen)



9. ∼ b



(5,7 : modus ponen)



10. a ˄∼b



(8,9 : hukum konjungsi)



11. c



(1, 10 : modus ponen)



Jadi terbukti argumen tersebut valid.