Berdasarkan tabel 1 diperoleh bahwa p q = q p.

Transkripsi

1 PEMAHAAN 1. Pengertian Kata LOGIKA mengacu pada suatu metode atau cara yang sistematis dalam berpikir (reasoning), dan terdapat dua sistem khusus yaitu : suatu metode dasar yang disebut dengan Kalkulus Proposisi (Propositional Calculus) dan suatu bentuk yang lebih lanjut yang disebut dengan Kalkulus Predikat (Predicate Calculus). Kalkulus adalah seperangkat aturan-aturan untuk mengkalkulasi dengan menggunakan simbol-simbol. Misalnya Kalkulus Diferensial, yang mempunyai aturan untuk mengkalkulasi kelandaian suatu kurva dengan memanipulasi ekspresi aljabar. Kalkulus Proposisi pun mempunyai seperangkat aturan-aturan dimana digunakan untuk menentukan benar atau salahnya suatu kombinasi-kombinasi dari proposisi-proposisi. Dengan Kalkulus diharapkan dapat mengurangi tindakan menebak, sehingga dapat menyelesaikan suatu permasalah dengan suatu jawaban yang dikerjakan dengan cara sistematis. Diutamakan proposisi-prosisi yang ada kaitannya dengan pembicaraan sehari-hari sehingga dengan pertolongan kalkulus diharapkan dapat bekerja dengan pemikiran dasar (basic reasoning). Dengan dasar kalkulus untuk cara berpikir (reasoning) maka ia (cara berpikir) dapat dijadikan program dan dilaksanakan oleh komputer, sehingga dengan alasan ini komputer dapat melakukan kemampuan berpikir, walupun secara sederhana. Jika Kalkulus ini dikembangkan menjadi Kalkulus Predikat maka akan dapat mendasari pemrogramn dengan Prolog yaitu suatu bahasa pemrograman logika. Dalam diktat ini dimulai dengan, bagaimana membentuk proposisi logis dengan menggunakan penghubung (operator) and, or, not, if-the, if-andonly-if, dan if-then-else. elanjutnya untuk penghubung and, or dan not, sesuai dengan ungkapan numerik (ilmu hitung) biasa, digunakan untuk membentuk proposisi majemuk atau kalimat dengan cara mengkombinasi kan proposisiproposisi, yang selanjutnya dapat dievaluasi atau disederhana kan, atau diselesaikan menjadi bentuk yang lebih sederhana- dengan menggu nakan Aljabar oole. Himpunan dan relasinya serta penyajiannya juga dibi carakan beserta aplikasi sederhananya. 1

2 2. Logika Proposisi Lanjut Apakah p q q? Untuk dapat menjawabnya, dibuat table kebenaran dari kedua implikasi tersebut. Jika kita perhatikan, Tabel 1 Nilai kebenaran p p q p q q q dan q erdasarkan tabel 1 diperoleh bahwa p q = q p. Contoh 1: Jika Microsoft Word maka Windows system operasinya adalah implikasi yang benar, berdasarkan implikasi di atas maka: Konversennya : jika windows system operasinya maka microsoft word aplikatifnya. Inversenya : Jika bukan Microsoft word maka buka windows system operasinya. Kontraposisipnya : Jika bukan windows system operasinya maka bukan Microsoft word aplikatifnya. Maka dapat dinotasikan sebagai berikut: Implikasi Konvers Invers : p q : q p : ~ p ~ q Kontraposisi : ~ q ~ p 2

3 Table 2: kebenaran: p Q ~p ~q p q ~q ~p q p ~p ~q etara etara Jadi dapat disimpulkan bahwa proposisi yang saling kontra positif mempunyai nilai kebanaran yang sama (ekuivalen).isa juga dinotasikan sebagai berikut: p q ~ q ~ p q p ~ p ~ q Contoh 2: ukti bahwa: Jika x 2 bilangan genap, maka x juga bilangan genap dapat ditulis : x 2 = genap x = genap Jawab : Kontraposisi dari implikasi diatas adalah : Jika x adalah bilangan genap maka x 2 juga bilangan genap. Dapat ditulis : Jika x = ganjil maka x 2 = ganjil etiap bilangan bulat bukan genap adalah ganjil, sehingga x ganjil ditulis x = 2k + 1, k bilangan bulat, akibatnya : X 2 = (2k+1) 2 karena k bilangan bulat maka : 3

4 =4k 2 +4k+1 k 2 juga bilangan bulat =2(2k 2 +2k)+1 2k juga bilangan genap 2k 2 + 2k juga bilangan genap ehingga x 2 = bilangan ganjil, karena bilngan genap ditambah 1 sama dengn bilangan ganjil. Jadi kontrapositipnya benar akibatnya implikasinya juga benar. Contoh 3 : Implikasi Konvers Invers :jika memakai microsoft word maka windows adalah system operasinya. : jika windows system operasinya maka microsoft word aplikatifnya : Jika bukan Microsoft word maka buka windows system opesarinya. Kontraposisi : Jika bukan windows system operasinya maka bukan Microsoft word aplikatifnya. iimplikasi Jika kita gabungkan dua implikasi, yaitu (p q) (q p), maka kita akan memperoleh biimplikasi dan cukup kita nyatakan sebagai p q. iimplikasi p q dibaca p jika dan hanya jika q atau p adalah syarat perlu dan syarat cukup untuk q. Jadi, jika p dan q keduanya bernilai benar atau keduanya bernilai salah, maka biimplikasinya bernilai benar. Kita cek nilai kebenaran biimplikasi pada tabel kebenaran berikut. 4

5 Tabel 3 : Nilai Kebenaran iimplikasi P q p q q p (p q) (q p) Catatan penting tentang cara menyatakan biimplikasi p q, yaitu: (1) p ekuivalen q. (2) p jika dan hanya jika q. (3) p adalah syarat perlu dan syarat cukup untuk q. (4) p mengimplikasikan q dan q mengimplikasikan p. (5) Jika p, maka q dan jika q, maka p. elanjutnya kita cek negasi dari pernyataan majemuk. eberapa hal peting yang harus diperhatikan: (1) ~ p q = (p q) = p q. (2) ~ (p q) = p q. (3) (p q) = (p q) (q p). (4) (p q) = p q. (5) p q = (p q) = p q. 5

6 6 (6) p atau q, tetapi tidak keduanya ( (p q)). (7) p tetapi tidak q (p q). (8) p kecuali jika q ( q p). Contoh Tentukan table kebenaran dari (( p q) ( q r)) Jawab. Untuk menentukan nilai kebenaran dari pernyataan majemuk, kita harus teliti dan cek nilai kebenaran dari pernyataan-pernyataan penyusunnya. Table 2.8: Nilai kebenaran (( p q) ( q r)) p q R p q p q ( q r) [( p q) ( q r)]=x X Aturan Pengurutan Ekspres-ekspresi logika yang bersifat majemuk yang memiliki banyak subekspresi akan memiliki banyak tanda kurung biasa karena berbentuk fpe (A ), sehingga memungkinkan fpe tersebut sulit dibaca. erkaitan dengan perangkai, urutan ekspresi logika yang bersifat majemuk berdasarkan hirarki tertinggi seperti berikut:

7 (1) (negasi) (2) (konjungsi) (3) (disjungsi) (4) (implikasi) (5) (biimplikasi) Contoh: (a) (~A ),harus dibaca ((~A) ), bukan (~(A )) (b) A C, harus dibaca ((A ) C), bukan ((A ( C)) (c) A C, harus dibaca (A ( C)), bukan ((A ) C) (d) A C, harus dibaca (A ( C)), bukan ((A ) C) Aturan tambahan: jika menjumpai lebih dari satu perangkai pada hirarki yang sama, maka akan dikerjakan mulai dari yang kiri. Contoh: A C Jadi, harus dibaca: (A ) C, bukan A ( C) A. Tautologi Tautologi adalah pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. ebuah Tautologi yang memuat pernyataan Implikasi disebut Implikasi Logis. Untuk membuktikan apakah suatu pernyataan Tautologi, maka ada dua cara yang digunakan. Cara pertama dengan menggunakan tabel kebenaran, yaitu jika semua pilihan bernilai (benar) maka disebut Tautologi, dan cara kedua yaitu dengan melakukan penjabaran atau penurunan dengan menerapkan sebagian dari 12 hukum-hukum Ekuivalensi Logika. Contoh: 7

8 Lihat pada argumen berikut: Jika Tono pergi kuliah, maka Tini juga pergi kuliah. Jika iska tidur, maka Tini pergi kuliah. Dengan demikian, jika Tono pergi kuliah atau iska tidur, maka Tini pergi kulah. Diubah ke variabel proposional: A Tono pergi kuliah Tini pergi kuliah C iska tidur Diubah lagi menjadi ekspresi logika yang terdiri dari premis-premis dan kesimpilan. Ekspresi logika 1 dan 2 adalah premis-premis, sedangkan ekspresi logika 3 adalah kesimpulan. (1) A (Premis) (2) C (Premis) (3) (A V C) (Kesimpulan) Maka sekarang dapat ditulis: ((A ) ʌ (C )) ((A V C) ) A C A C (A ) ʌ (C ) A V C (A V C) Hasil akhir dari kalimat majekmuk Dari tabel kebenaran diatas menunjukkan bahwa pernyataan majemuk : ((A ) ʌ (C )) ((A V C) adalah semua benar (Tautologi)[2]. 8

9 Contoh tautologi dengan menggunakan tabel kebenaran: 1. (p ʌ ~q) p Pembahasan: P Q ~q (p ʌ ~q) (p ʌ ~q) p Ini adalah tabel kebenaran yang menunjukkan Tautologi dengan alasan yaitu semua pernyataannya bersifat benar atau True (T). maka dengan perkataan lain pernyataan majemuk (p ʌ ~q) p selalu benar. 2. [(p q) ʌ p] p q Pembahasan: P Q (p q) (p q) ʌ p [(p q) ʌ p] p q (1) (2) (3) (4) (5) erdasrkan tabel diatas pada kolom 5, nilai kebenaran pernyataan majemuk itu adalah adalah. Dengan perkataan lain, pernyataan majemuk [(p q) ʌ p] p q selalu benar 9

10 Pembuktian dengan cara kedua yaitu dengan penjabaran atau penurunan dengan menerapkan sebagian dari 12 hukum-hukum ekuivalensi logika. Contoh: a. (p ʌ q) q Penyelesaian: (p ʌ q) q ~(p ʌ q) v q ~p v ~q v q ~p v T T...(Tautologi)[3] Dari pembuktian diatas telah nampaklah bahwa pernyataan majemuk dari (p ʌ q) q adalah tautologi karena hasilnya T (true) atau benar. Pembuktian dengan menggunakan tabel kebenaran dari pernyataan majemuk (p ʌ q) q yaitu: P q (p ʌ q) (p ʌ q) q Pada tabel diatas nampaklah bahwa kalimat majemuk (p ʌ q) q merupakan Tautologi. b. q (p v q) penyelesaian: q (p v q) ~q v (p v q) ~q v (q v p) T v p T...(Tautologi) 10

11 . Kontradiksi Kontradiksi adalah kebalikan dari tautologi yaitu suatu bentuk pernyataan yang hanya mempunyai contoh substansi yang salah, atau sebuah pernyataan majemuk yang salah dalam segala hal tanpa memandang nilai kebenaran dari komponenkomponennya. Untuk membuktikan apakah suatu pernyataan tersebut kontradiksi, maka ada dua cara yang digunakan. Cara pertama dengan menggunakan tabel kebenaran, yaitu jika semua pilihan bernilai F atau salah maka disebut kontradiksi, dan cara kedua yaitu dengan melakukan penjabaran atau penurunan dengan menerapkan sebagian dari 12 hukum-hukum Ekuivalensi Logika.[4] Contoh dari Kontradiksi: 1. (A ʌ ~A) Pembahasan: A ~A (A ʌ ~A) Dari tabel kebenaran diatas dapatlah disimpulkan bahwa pernyataan majemuk (A ʌ ~A) selalu salah. 2. P ʌ (~p ʌ q) Pembahasan: P Q ~p (~p ʌ q) P ʌ (~p ʌ q) 11

12 12 Ini adalah tabel kebenaran yang menunjukkan kontradiksi dengan alasan yaitu semua pernyataan bernilai salah (F). C. Contingent Jikaseuanilai kebenaran mengahasilkan nilai dan maka terjadi contingent atau formula campuran (mix formulae). Contoh : ((A ʌ ) C) A Tabel kebenaran sebagai beriku: A C A ʌ (A ʌ) C ((A ʌ ) C) A Definsi: uatu ekspresi logika yang mempunyai nilai benar dan salah di dalam kebenaannya, tanpa mempedulikan nilai kebenaran dari proposisi-proposisi yang berada didalamnya, disebut kontingen.

13 13 Contoh Perhatikan ekspresi logika brikut ini: ((A ) ʌ (~ C)) (~C A) (~C A) ((A ) ʌ (~ C)) ((A ) ʌ (~ C)) (~C A) (~C A) A C ~ ~C A ~ C ~C A D. Ekuivalensi Logika Dua atau lebih pernyataan majemuk yang mempunyai nilai kebenaran sama disebut ekuivalensi logika dengan notasi dua buah pernyataan majemuk dikatakan ekuivalen, jika kedua pernyataan majemuk itu mempunyai nilai kebenaran yang sama untuk semua kemungkinan nilai kebenaran pernyataan-pernyataan komponen-komponennya. Hukum-Hukum Ekuivalensi Logika: 1. Hukum komutatif: p ʌ q = q ʌ p, p v q = q v p

14 2. Hukum asosiatif: (p ʌ q) ʌ r = p ʌ (q ʌ r) (p v q) v r = p v (q v r) 3. Hukum distributif: p ʌ (q v r) = (p ʌ q) v (p ʌ r) p v (q ʌ r) = (p v q) ʌ (p v r) 4. Hukum identitas: p ʌ = p p v = p 5. Hukum ikatan (dominasi): p v = p v = 6. Hukum negasi: p v ~p = p ʌ ~p = 7. Hukum negasi ganda (involusi): ~(~p) = p 8. Hukum idempoten: p ʌ p = p, p v p = p 9. Hukum de morgan: ~( p ʌ q) = ~p v ~q ~(p v q) = ~p ʌ ~q 10. Hukum penyerapan (absorpsi): p v (p ʌ q) = p p ʌ (p v q) = p 14

15 11. Hukum dan : ~ = ~ = 12. Hukum implikasi ke and/or: p q ~p v q Dengan adanya hukum-hukum diatas, penyelesaian soal-soal baik yang bersifat tautologi, kontradiksi dan ekuivalensi logika tidak hanya menggunakan tabel kebenaran namun juga bisa dengan menggunakan jalan penurunan yaitu dengan memanfaatkan 12 (dua belas) hukum-hukum ekuivalensi logika tersebut. Dengan menggunakan prinsip-prinsip di atas, maka kalimat-kalimat yang kompleks dapat disederhanakan, seperti contoh berikut: 1. uktikan ekuivalensi berikut: ~(p v ~q) v (~p ʌ ~q) ~p Jawab: ~(p v ~q) v (~p ʌ ~q) (~p ʌ q) v (~p ʌ ~q) ~p ʌ (q v ~q) ~p ʌ ~p...(terbukti) 2. Tunjukkan bahwa: ~(p v q) (~p ʌ ~q) Tabel kebenaran ~(p v q) dan (~p ʌ ~q) yaitu: p q ~p ~q p v q ~(p v q) (~p ʌ ~q) (1) (2) (3) (4) (5) (6) (7) 15

16 Dari tabel diatas pada kolomk (6) dan (7), jelas bahwa ~(p v q) dan (~p ʌ ~q). Jadi, ~(p v q) ʌ (~p ʌ ~q). E.Penarikan Kesimpulan Penarika kesimpulan dilakukan dari beberapa pernyataan yang diketahui nilai kebenarannya yang disebut premis. Kemudian dengan menggunakan prinsip-prinsip yang ada diperoleh pernyataan yang baru yang disebut kesimpulan/konklusi yang diturunkan dari premis yang ada. Penarikan kesimpulan seperti itu sering disebut dengan argumentasi. uatu argumentasi dikatakan sah Jika premis-premisnya benar maka konklusinya juga benar. Terdapat 3 metode dalam penarikan kesimpulan, yaitu : 1 Modus ponens premis 1 : p q premis 2 : p ( modus ponens) Kesimpulan: q Arti Modus Ponens adalah jika diketahui p q dan p, maka bisa ditarik kesimpulan q. sebagai contoh : premis 1 : Jika bapak datang maka adik akan senang premis 2 : bapak datang Kesimpulan: Adik senang 8.2 Modus Tollens premis 1 : p q 16

17 premis 2 : ~q ( modus tollens) Kesimpulan: ~p Modus Tollens berarti jika diketahu p q dan ~q, maka bisa ditarik kesimpulan ~p. sebagai contoh : premis 1 : Jika hari hujan, maka adik memakai payung premis 2 : Adik tidak memakai payung Kesimpulan : Hari tidak hujan 8.3 ilogisme premis 1 : p q premis 2 : q r ( silogisme) Kesimpulan: p r ilogisme berarti jika diketahu p q dan q r, maka bisa ditarik kesimpulan p r. sebagai contoh : Premis 1 : Jika harga M naik, maka harga bahan pokok naik. Premis 2 : Jika harga bahan pokok naik maka semua orang tidak senang. Kesimpulan: Jika harga M naik, maka semua orang tidak senang. 17

18 DAFTAR PUTAKA F.oesianto dan Djonidwijono.2003.Logika Proporsional.Yogyakarta:Andi. Marsudi.2010.Logika dan Teori Himpunan.Malang:Universitas rawijaya Press (U Press) WI 18

19 19