PERTEMUAN Logika Matematika

Transkripsi

1 2-1 PERTEMUAN 2 Nama Mata Kuliah : Matematika Diskrit (3 SKS) Nama Dosen Pengampu : Dr. Suparman matdis@netcourrier.com HP : Judul Pokok Bahasan Tujuan Pembelajaran : 2. Logika Matematika 2.1. Proposisi Bersyarat dan Proposisi Bikondisional 2.2. Konvers dan Kontrapositif : a) Mengerti apa yang dimaksud dengan proposisi bersyarat dan mengetahui nilai kebenaran proposisi bersyarat. b) Mengerti apa yang dimaksud dengan konvers dari proposisi bersyarat dan mengetahui nilai kebenaran konvers. c) Mengerti apa yang dimaksud dengan proposisi bikondisional dan mengetahui nilai kebenaran proposisi bikondisional. d) Mengerti apa yang dimaksud dengan kontrapositif dari proposisi bersyarat dan mengetahui nilai kebenaran kontrapositif. e) Dapat mencari negasi dari proposisi bersyarat. 2. Logika Matematika 2.1 Proposisi Bersyarat dan Proposisi Bikondisional Definisi 2.1 : Proprosisi bersyarat Andaikan p dan q adalah proposisi, proposisi majemuk jika p maka q disebut proposisi bersyarat dan dinotasikan sebagai p q Proposisi p disebut hipotesis (antesenden) dan proposisi q disebut konklusi (konsekuen). Catatan : Cara lain menyatakan p jika dan hanya jika q adalah : p adalah syarat cukup untuk q q adalah syarat perlu untuk p Nilai kebenaran dari proposisi bersyarat diberikan oleh tabel kebenaran berikut. S B B Tabel 2.1 Dalam percakapan sehari-hari, hipotesis dan konklusi dalam proposisi bersyarat biasanya berhubungan, tetapi dalam logika, hipotesis dan konklusi dalam proposisi bersyarat tidak harus merujuk pada permasalahan yang sama. Logika memperhatikan bentuk proposisi dan hubungan antar proposisi tetapi tidak memperhatikan pokok permasalahan dari proposisi itu sendiri. Perhatikan bahwa proposisi bersyarat yang benar berbeda dengan proposisi bersyarat dengan konklusi yang benar. Contoh 2.1:

2 2-2 q : Satu meter sama dengan 100 cm Tentukan nilai kebenaran dari proposisi bersyarat p q. Karena p salah dan q benar, maka menurut Tabel kebenaran 2.1 proposisi bersyarat benar. p q Contoh 2.2: Perlihatkan bahwa proposisi bersyarat p q ekuivalen secara logika dari p q Tabel kebenaran untuk p q dan p q adalah p q p B B S B B S S S B B B Tabel 2.2 Dari kolom ke 4 dan ke 5 tabel tersebut terlihat bahwa p q dan p q mempunyai nilai kebenaran yang sama. Jadi. Contoh 2.3: Tentukan negasi dari proposisi bersyarat p q. Dari contoh 2.2 kita dapatkan bahwa Sehingga negasi dari p q dapat dinyatakan sebagai Karena menurut hukum De Morgan pertama dan karena p p maka negasi proposisi bersyarat p q adalah Definisi 2.2 : Bikondisional Andaikan p dan q adalah proposisi, proposisi majemuk p jika dan hanya jika q disebut proposisi bikondisional (dwisyarat) dan dinotasikan sebagai p q Nilai kebenaran dari proposisi p q didefinisikan dengan tabel kebenaran berikut.

3 2-3 S B S Tabel 2.3 Catatan : Cara lain menyatakan p jika dan hanya jika q adalah p adalah syarat perlu dan cukup untuk q. Contoh 2.4 : Tentukan nilai kebenaran dari proposisi p q. Karena p salah dan q benar, maka menurut Tabel kebenaran 2.3 proposisi p q salah. Contoh 2.5: Perlihatkan bahwa proposisi p q ekuivalen secara logika dari ( p q) (q p) p q ( p q) (q p) Tabel kebenaran untuk p q dan ( p q) (q p) adalah q p p q ( p q) (q p) B S S S B S Tabel 2.4 Dari tabel tersebut terlihat bahwa p q dan ( p q) (q p) mempunyai nilai kebenaran yang sama. Jadi p q ( p q) (q p) Latihan Soal 2.1 p : Saya mengambil kuliah Kalkulus 1 q : Saya mengambil kuliah Matematika Diskrit r : Saya mengambil kuliah Kalkulus 2 Nyatakanlah a. Proposisi p r dengan kata-kata. b. Proposisi jika saya mengambil kuliah Matematika Diskrit maka saya mengambil kuliah Kalkulus 1dengan simbol. c. Negasi proposisi p q dengan simbol. d. Proposisi q r dengan kata-kata.

4 Dengan mengasumsikan p salah, q benar, dan r salah, tentukanlah nilai kebenaran dari setiap proposisi yang diberikan. a. p q g. ( p (q r)) ((p (q r)) p) b. p q h. ( p q) r c. p q i. [( p q) (q r)] (r q ) d. ( p q) (q r ) j. [ p (q r)] [r (q p )] e. ( p q) r k. [ p (p (q r))] (p (r q) ) f. p (q r ) 2.3 Perlihatkanlah bahwa q p p q 2.2 Konvers dan Kontrapositif Definisi 2.3 : Konvers Konvers (kebalikan) dari proposisi bersyarat p q adalah proposisi q p. Nilai kebenaran dari proposisi q p didefinisikan dengan tabel kebenaran berikut. B S B S B S Tabel 2.5 Contoh 2.6: Tentukan nilai kebenaran dari proposisi q p. Karena p salah dan q benar, maka menurut Tabel kebenaran 2.2 proposisi q p salah. Definisi 2.4 : Kontrapositif Kontrapisitif (atau transposisi) dari proposisi bersyarat p q adalah proposisi q p. Nilai kebenaran dari proposisi q p didefinisikan dengan tabel kebenaran berikut. S B B Tabel 2.6

5 2-5 Contoh 2.7 : Tentukan nilai kebenaran dari proposisi q p. Karena p salah dan q benar, maka menurut Tabel kebenaran 2.4 proposisi Contoh 2.8: Perlihatkan bahwa proposisi bersyarat q p. q p benar. p q ekuivalen secara logika dari kontrapositifnya Tabel kebenaran untuk p q dan q p adalah B B B B S S S B B S B B Tabel 2.7 Dari tabel tersebut terlihat bahwa p q dan q p mempunyai nilai kebenaran yang sama. Jadi Latihan Soal 2.4 Tuliskan konvers dan kontrapositif dari setiap pernyataan dengan simbol dan dengan kata-kata. a. Jika Budi rajin belajar maka ia akan lulus kuliah Matematika Diskrit. b. Jika Cici telah mendapatkan 160 SKS maka ia bisa lulus sarjana. 2.5 Perlihatkan untuk setiap proposisi P dan Q yang diberikan, nyatakan apakah P Q atau tidak. a. P q p, Q p q c. P q p, Q p q b. P q p, Q p q d. P q p, Q p q Daftar Pustaka R. Johnsonbaugh, Matematika Diskrit Jilid 1, Prenhallindo, 1998.