BAB 6 METODE DEDUKSI UNTUK KALIMAT BERKUANTOR

1. BAB 6 METODE DEDUKSI UNTUK KALIMAT BERKUANTOR Langkah-langkah metode deduksi : 1. Lambangkan semua premis 2. Hilangkan semua kuantor 3. Terapkan aturan-aturan penurunan kesimpulan 4. Bubuhkan kuantor • UNIVERSAL INSTATION (UI) • Prosespenghilangankuantor universal • Variabel yang diperolehdisebutvariabelinstan yang merupakanvariabelbebas • UI adalahaturanpenarikankesimpulan yang menyimpulkanbahwa Pc benar, dimana c adalahvariabelanggotadarihimpunan yang memilikisifat universal yang diwakiliolehxP(x) (x)[P(x)]  Pc

2. (x)[P(x)]  Pc Contoh 1 Semua kucing adalah hewan menyusui Puppy adalah seekor kucing Jadi Puppy adalah hewan menyusui Kx : x kucing Hx : x hewan menyusui p adalah Puppy Pembuktian :

3. Contoh 2 Semua orang yang sabar akan berhati tenang Tidak ada orang yang berhati tenang yang cepat naik darah Ratnasari adalah orang yang sabar Jadi Ratnasari tidak cepat naik darah Sx : x orang yang sabar Tx : x berhati tenang Cx : x cepat naik darah R adalah Ratnasari

4. UNIVERSAL GENERALIZATION (UG) • UG adalah aturan penarikan kesimpulan yang menyatakan bahwa xPx benar, untuk semua variabel c yang merupakan anggota dari himpunan yang semua anggotanya memiliki sifat P Pa x Px Contoh Semua mahasiswa matematika adalah manusia Tak ada manusia yang hidup seribu tahun Jadi, tak ada mahasiswa matematika yang hidup seribu tahun Penyelesaian : Ax : x adalah mahasiswa matematika Bx : x adalah manusia Cx : x hidup seribu tahun

5. EKSTENSIAL GENERALIZATION (EG) • EG adalah aturan penarikan kesimpulan yang menyatakan bahwa xPx benar, elemen tertentu c dengan Pc diketahui adalah benar Ma (x) [Px] Contoh 1 Semua bilangan prima adalah bilangan asli Jadi, jika 2 adalah bilangan prima, maka beberapa bilangan prima adalah bilangan asli Penyelesaian : Px : x adalah bilangan prima Ax : x adalah bilangan asli d : adalah lambang untuk bilangan 2 (konstan)

6. Contoh 2 Ada pokok kesusastraan yang tidak menarik Tetapi, semua pokok kesusastraan meluaskan wawasan orang Jadi, ada pokok kesusastraan yang meluaskan wawasan tetapi tidak menarik Penyelesaian : Kx : x pokok kesusastraan Mx : x menarik Wx : x meluaskan wawasan

7. Contoh 3 Semua mahasiswa Itenas adalah lulusan SMA Ada mahasiswa Itenas dari Ujung Pandang Jadi ada lulusan SMA dari Ujung Pandang Penyelesaian : Mx : x mahasiswa Itenas Lx : x lulusan SMA Ux : x dari Ujung Pandang

8. EKSTENSIAL INTATION (EI) • EI adalah suatu aturan yang membolehkan kita untuk mengambil c sebagai suatu anggota himpunan tertentu sehingga P(c) benar, jika diketahui xPx benar. (x) [Px] Pc Contoh Semua pemenang beasiswa adalah mahasiswa yang berprestasi Beberapa mahasiswa matematika adalah pemenang beasiswa Jadi beberapa mahasiswa matematika adalah mahasiswa yang berprestasi Penyelesaian : Px : x adalah pemenang beasiswa Bx : x berprestasi Mx: x mahasiswa matematika

9. Aturan pelepasan kuantor dan pembubuhan kuantor

10. Contoh Soal 6.1 Tidak ada mahasiswa Itenas yang ingin berlama-lama di Itenas Semua calon dosen Itenas ingin berlama-lama di Itenas Semua kemenakan saya mahasiswa Itenas Jadi, tidak ada kemenakan saya yang menjadi dosen Itenas Jawab : Mx : x mahasiswa Itenas Lx : x berlama-lama di Itenas Cy: y calon dosen Itenas Kz: z kemenakan saya

11. Contoh Soal 6.2 Tidak lulusan Itenas atau lulusan UI yang menjadi nahkoda kapal Pertamina Suwarman nahkoda kapal Pertamina Jadi, dia bukan lulusan UI Jawab : Ix : x lulusan Itenas Ux : x lulusan UI Nx: x nahkoda kapal Pertamina s: Suwarman

12. PENANGANAN VARIABEL • Pada metode deduksi kalimat berkuantor, pelepasan dan pembubuhan kuantor (umum atau khusus) harus dilakukan dengan hati-hati • Ada beberapa aturan yang tidak boleh dilanggar Aturan I Jika dalam premis-premis, terdapat dua kalimat berkuantor ekstensial (). Bila pada pelepasan kuantor pertama, variabel instan yang digunakan adalah a, maka pada pelepasan kuantor ekstensial yang kedua, variabel yang digunakan tidak boleh sama dengan a. Contoh Pelepasan kuantor akan dilakukan pada premis-premis : x Rx Rx =Ruler (x) x Tx Tx = Thief (x)

13. Aturan II Dilarang menghilangkan kuantor khusus (), dan mengambil variabel instannya sama dengan variabel bebas yang ada Contoh Pelepasan kuantor akan dilakukan pada premis-premis : x Kx Kx =Kind(x) x Tx Tx = Thief (x)

14. Aturan III Jangan membubuhkan kuantor universal ()pada suatu konstanta. Pada konstanta hendaknya diberikan kuantor ekstensial () Contoh Tr = Thief (Robinhood)

15. Aturan IV Jangan membubuhkan kuantor universal (), suatu variabel yang tidak jelas karena ada relasi dengan variabel lain Contoh x y Pxy Pxy= Parents(x,y) = x memiliki orang tua y = y adalah orang tua x Setiap orang memiliki orang tua Ada seseorang yang merupakan orang tua dari semua orang Langkah yang benar :

16. Urutan pelepasan kuantor yang benar : a). Melepaskan kuantor universal (kuantor terluar), variabel instan x b). Melepaskan kuantor ekstensial (kuantor di dalamnya), variabel instan y Urutan pembubuhan kuantor yang benar : a). membubuhkan kuantor khusus untuk variabel instan y (y bertanda) b). Membubuhkan kuantor umum untuk variabel instan x (x bertanda) Aturan V Jangan membubuhkan kuantor universal (memperumum) variabel instan, yang diambil dari pelepasan kuantor ekstensial Contoh : x Gx = ada x dan x adalah emas

17. Aturan VI Jangan membubuhkan kuantor umum variabel yang muncul karena asumsi. Variabel yang muncul karena asumsi yaitu premis tambahan yang sering digunakan pada IP dan CP Contoh 1 Misalkan diberikan asumsi bahwa x adalah emas Gx

18. Contoh 2 Tidak ada mahasiswa Itenas yang ingin berlama-lama di Itenas

19. Aturan VII Pada setiap pelepasan kuantor baik universal maupun ekstensial, variabel instan yang digunakan hendaklah variabel bebas, atau variabel yang tidak berkuantor Contoh 1 Kalimat yang memiliki kuantor ganda : x y Pxy Pxy = y adalah orang tua x x memiliki orang tua y

20. Contoh 2 Premis-premis yang memiliki kuantor yang berbeda :