Pertemuan 6 VARIAN BERSYARAT & BIKONDISIONAL

dokumen-dokumen yang mirip
Logika adalah jantung dari algoritma dan pemrograman. Contoh: if x mod 2 = 0 then x:=x + 1 else x:=x 1

Contoh 1.36 Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika.

Kuliah 2 1. LOGIKA (LOGIC) Matematika Diskrit. Dr.-Ing. Erwin Sitompul

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements).

Pengantar Logika Lanjut

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).

Matematika Diskrit LOGIKA

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).

Logika Matematik. Saripudin, M.Pd.

MateMatika Diskrit. Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T

Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs.

PROPOSISI MATEMATIKA SISTEM INFORMASI 1

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

Materi Kuliah IF2120 Matematika Diskrit. Logika (logic) Oleh: Rinaldi Munir. Program Studi Teknik Informatika STEI - ITB

PERTEMUAN KE 3 F T T F T F T F

Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs.

Materi Kuliah IF2120 Matematika Diskrit. Logika (logic) Oleh: Rinaldi Munir. Program Studi Teknik Informatika STEI - ITB

Materi Kuliah Matematika Komputasi. Oleh: Gembong Edhi Setyawan. Program Teknologi Informasi dan Ilmu Komputer Universitas Brawijaya

Matematika Terapan Teknik Informatika

Logika Proposisi. Rudi Susanto

LOGIKA & PEMBUKTIAN. Anita T. Kurniawati, MSi LOGIKA

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka.

MATEMATIKA DISKRIT LOGIKA

Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut.

1. SET. Descrete Mathematics 1

MATEMATIKA DISKRIT. Logika

Pertemuan 2. Proposisi Bersyarat

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat

Matematika Komputasional. Pengantar Logika. Oleh: M. Ali Fauzi PTIIK - UB

Materi Kuliah IF2091 Struktur Diskrit. Pengantar Logika. Oleh: Rinaldi Munir. Program Studi Informatika STEI - ITB

IT105 MATEMATIKA DISKRIT. Ramos Somya, S.Kom., M.Cs.

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali

1.Asas Logik dan Pembuktian

NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3)

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?

BAB 1. Logika. Benteng kehidupan yang terkuat adalah kebenaran. (Anonim)

LOGIKA. /Nurain Suryadinata, M.Pd

Konvers, Invers dan Kontraposisi

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN

PERTEMUAN 2 TABEL KEBENARAN DADANG MULYANA. TABEL KEBENARAN (TB) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi.

LOGIKA. Logika Nilai kebenaran pernyataan majemuk Ingkaran suatu pernyataan Penarikan kesimpulan. A. Pernyataan, Kalimat Terbuka, Ingkaran.

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

Program Studi Teknik Informatika STMIK Tasikmalaya

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed

BAB 6 LOGIKA MATEMATIKA

6. LOGIKA MATEMATIKA

K13 Revisi Antiremed Kelas 11

LOGIKA MATEMATIKA. Tabel kebenarannya sbb : p ~ p B S S B

Jadi penting itu baik, tapi jadi baik jauh lebih penting

KALKULUS PERNYATAAN. Totologi & Kontradiksi. Tingkat Kekuatan Operator. Tabel Kebenaran 9/30/2013. Nur Insani, M.Sc

Modul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI.

Logika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si.

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah.

LOGIKA MATEMATIKA. LA - WB (Lembar Aktivitas Warga Belajar) MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X

Matematika Diskrit. Nelly Indriani Widiastuti S.Si., M.T Prodi Teknik Informatika UNIKOM

BAB I DASAR-DASAR LOGIKA

Logika merupakan dasar dari semua penalaran(reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).

PERNYATAAN MAJEMUK & NILAI KEBENARAN

KONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C

Logika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus.

LOGIKA DAN PEMBUKTIAN

Modul Matematika X Semester 2 Logika Matematika

LOGIKA. Arum Handini Primandari

BAB VI. LOGIKA MATEMATIKA

LOGIKA MATEMATIKA (Pendalaman Materi SMA)

EKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo

LOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom

4. LOGIKA MATEMATIKA

KALIMAT MAJEMUK DAN KONEKTIVITAS

LOGIKA MATEMATIKA Menuju TKD 2014

MODUL 3 OPERATOR LOGIKA

CBT Psikotes CBT UN SMA IPA SBMPTN. FPM Matematika. Tes Buta Warna

PERTEMUAN 1. PERNYATAAN PENGHUBUNG PERNYATAAN A.Jerry W Jeki C.S. jekichas.weebly.com

BAB I LOGIKA MATEMATIKA

Selamat datang di Perkuliahan LOGIKA MATEMATIKA Logika Matematika Teori Himpunan Teori fungsi

LOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3.

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

BAHAN AJAR LOGIKA MATEMATIKA

PAKET 3. Paket : 3. Jumlah Soal : 40 soal Kompetensi : 1. Program Linear 3. Vektor 2. Matriks 4. Logika Compile By : Syaiful Hamzah Nasution

Hukum-hukum Logika 2/8/ Hukum komutatif: p q q p p q q p. 8. Hukum asosiatif: p (q r) (p q) r p (q r) (p q) r

Sentence and Substitution Lecture 4-6

RENCANA PELAKSANAAN PEMBELAJARAN

LOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi

Matematika Industri I

FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika. Julan HERNADI

Logika Matematika. Cece Kustiawan, FPMIPA, UPI

Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012

B S B B B S B S. baris ke-1 baris ke-2 baris ke-3 baris ke-4. Contoh 1.7

Kalkulus Proposisi. Author-IKN. MUG2B3/ Logika Matematika

ULANGAN SEMESTER GENAP TAHUN PELAJARAN 2009/2010. Hari, Tanggal : Senin, 17 Mei 2010 Waktu : WIB (120 menit)

RENCANA PELAKSANAAN PEMBELAJARAN NO. 05/2

Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012

LOGIKA MATEMATIKA. Modul Matematika By : Syaiful Hamzah Nasution

LOGIKA MATEMATIKA. Materi SMA/SMK/MA. kelas X

LOGIKA MATEMATIKA. Oleh : Siardizal, S.Pd., M.Kom

Transkripsi:

Pertemuan 6 VARIAN BERSYARAT & BIKONDISIONAL Varian Proposisi Bersyarat Konvers (kebalikan): q p Invers : ~ p ~ q Kontraposisi : ~ q ~ p Implikasi Konvers Invers Kontraposisi p q ~ p ~ q p q q p ~ p ~ q ~ q ~ p T T F F T T T T T F F T F T T F F T T F T F F T F F T T T T T T dadang mulyana 2013 2 1

Contoh 21.Tentukan konvers, invers, dan kontraposisi dari: Jika Amir mempunyai mobil, maka ia orang kaya Penyelesaian: Konvers : Jika Amir orang kaya, maka ia mempunyai mobil Invers : Jika Amir tidak mempunyai mobil, maka ia bukan orang kaya Kontraposisi: Jika Amir bukan orang kaya, maka ia tidak mempunyai mobil dadang mulyana 2013 3 Contoh 22. Tentukan kontraposisi dari pernyataan: (a) Jika dia bersalah maka ia dimasukkan ke dalam penjara. (b) Jika 6 lebih besar dari 0 maka 6 bukan bilangan negatif. (c) Iwan lulus ujian hanya jika ia belajar. (d) Hanya jika ia tdk terlambat maka ia akan mendapat pekerjaan. (e) Perlu ada angin agar layang-layang bisa terbang. (f) Cukup hari hujan agar hari ini dingin. Penyelesaian: (a) Jika ia tidak dimasukkan ke dalam penjara, maka ia tidak bersalah. (b) Jika 6 bilangan negatif, maka 6 tidak lebih besar dari 0. (c) Jika Iwan lulus ujian maka ia sudah belajar. Kontraposisi: Jika Iwan tidak belajar maka ia tidak lulus ujian (d) Jika ia mendapat pekerjaan maka ia tidak terlambat Kontraposisi: Jika ia terlambat maka ia tidak akan mendapat pekerjaan itu (e) Ada angin adalah syarat perlu agar layang-layang bisa terbang ekivalen dengan Jika layang-layang bisa terbang maka hari ada angin. Kontraposisi: Jika hari tidak ada angin, maka layang-layang tidak bisa terbang. (f) Hari hujan adalah syarat cukup agar hari ini dingin, Ekivalen dengan Jika hari hujan maka hari ini dingin. Kontraposisi: Jika hari ini tidak dingin maka hari tidak hujan. dadang mulyana 2013 4 2

Bikondisional (Bi-implikasi) Bentuk proposisi: p jika dan hanya jika q Notasi: p q p q p q T T T T F F F T F F F T p q (p q) (q p). dadang mulyana 2013 5 p q p q p q q p (p q) (q p) T T T T T T T F F F T F F T F T F F F F T T T T Dengan kata lain, pernyataan p jika dan hanya jika q dapat dibaca Jika p maka q dan jika q maka p. dadang mulyana 2013 6 3

Cara-cara menyatakan bikondisional p q: (a) p jika dan hanya jika q. (b) p adalah syarat perlu dan cukup untuk q. (c) Jika p maka q, dan sebaliknya. (d) p iff q dadang mulyana 2013 7 Contoh 22. Proposisi majemuk berikut adalah biimplikasi: (a) 1 + 1 = 2 jika dan hanya jika 2 + 2 = 4. (b) Syarat cukup dan syarat perlu agar hari hujan adalah kelembaban udara tinggi. (c) Jika anda orang kaya maka anda mempunyai banyak uang, dan sebaliknya. (d) Bandung terletak di Jawa Barat iff Jawa Barat adalah sebuah propinsi di Indonesia. dadang mulyana 2013 8 4

Contoh 23. Tuliskan setiap proposisi berikut ke dalam bentuk p jika dan hanya jika q : (a) Jika udara di luar panas maka anda membeli es krim, dan jika anda membeli es krim maka udara di luar panas. (b) Syarat cukup dan perlu agar anda memenangkan pertandingan adalah anda melakukan banyak latihan. (c) Anda naik jabatan jika anda punya koneksi, dan anda punya koneksi jika anda naik jabatan. (d) Jika anda lama menonton televisi maka mata anda lelah, begitu sebaliknya. (e) Kereta api datang terlambat tepat pada hari-hari ketika saya membutuhkannya. Penyelesaian: (a) Anda membeli es krim jika dan hanya jika udara di luar panas. (b) Aanda memenangkan pertandingan jika dan hanya jika anda melakukan banyak latihan. (c) Anda naik jabatan jika dan hanya jika anda punya koneksi. (d) Mata anda lelah jika dan hanya jika anda lama menonton televisi. (e) Kereta api datang terlambat jika dan hanya jika saya membutuhkan kereta hari itu. dadang mulyana 2013 9 Contoh 24 Diberikan pernyataan Perlu memiliki password yang sah agar anda bisa log on ke server (a) Nyatakan pernyataan di atas dalam bentuk proposisi jika p, maka q. (b) Tentukan ingkaran, konvers, invers, dan kontraposisi dari pernyataan tsb. Penyelesaian: Misalkan p : Anda bisa log on ke server q : Memiliki password yang sah maka (a) Jika anda bisa log on ke server maka anda memiliki password yang sah (b) Ingkaran: Anda bisa log on ke server dan anda tidak memiliki password yang sah Konvers: Jika anda memiliki password yang sah maka anda bisa log on ke server Invers: Jika anda tidak bisa log on ke server maka anda tidak memiliki password yang sah Kontraposisi: Jika anda tidak memiliki password yang sah maka anda tidak bisa log on ke server dadang mulyana 2013 10 5

Bila dua proposisi majemuk yang ekivalen dibikondisionalkan, maka hasilnya adalah tautologi. Teorema: Dua buah proposisi majemuk, P(p, q,..) dan Q(p, q,..) disebut ekivalen secara logika, dilambangkan dengan P(p, q, ) Q(p, q, ), jika P Q adalah tautologi. dadang mulyana 2013 11 Soal latihan 3 Sebagian besar orang percaya bahwa harimau Jawa sudah lama punah. Tetapi, pada suatu hari Amir membuat pernyataan-pernyataan kontroversial sebagai berikut: (a) Saya melihat harimau di hutan. (b) Jika saya melihat harimau di hutan, maka saya juga melihat srigala. Misalkan kita diberitahu bahwa Amir kadang-kadang suka berbohong dan kadang-kadang jujur (bohon: semua pernyataanya salah, jujur: semua pernyataannya benar). Gunakan tabel kebenaran untuk memeriksa apakah Amir benar-benar melihat harimau di hutan? dadang mulyana 2013 12 6

Penyelesaian soal latihan 3 (a) Saya melihat harimau di hutan. (b) Jika saya melihat harimau di hutan, maka saya juga melihat srigala. Misalkan p: Amirmelihatharimaudihutan q:amirmelihatsrigala Pernyataan untuk(a): p Pernyataanuntuk(b): p q dadang mulyana 2013 13 Tabel kebenaran p dan p q p q p q T T T T F F F T T F F T Kasus 1: Amir dianggap berbohong, maka apa yang dikatakan Amir itu keduanya salah ( p salah, p q salah) Kasus 2: Amir dianggap jujur, maka apa yang dikatakan Amir itu keduanya benar (p benar, p q benar). Tabel menunjukkan bahwa mungkin bagi p dan p q benar, tetapi tidak mungkin keduanya salah. Ini berarti Amir mengatakan yang sejujurnya, dan kita menyimpulkan bahwa Amir memang benar melihat harimau di hutan. dadang mulyana 2013 14 7

Soal latihan 4 [LIU85] Sebuah pulau didiami oleh dua suku asli. Penduduk suku pertama selalu mengatakan hal yang benar, sedangkan penduduk dari suku lain selalu mengatakan kebohongan. Anda tiba di pulau ini dan bertanya kepada seorang penduduk setempat apakah di pulau tersebut ada emas atau tidak. Ia menjawab, Ada emas di pulauini jika dan hanya jika saya selalu mengatakan kebenaran. Apakah ada emas di pulau tersebut? dadang mulyana 2013 15 Penyelesaian soal latihan 4 Ada emas di pulau ini jika dan hanya jika saya selalu mengatakan kebenaran Misalkan p: saya selalu menyatakan kebenaran q : ada emas di pulau ini Ekspresi logika: p q Tinjau dua kemungkinan kasus: Kasus 1, orang yang memberi jawaban adalah orang dari suku yang selalu menyatakan hal yang benar. Kasus 2, orang yang memberi jawaban adalah orang dari suku yang selalu menyatakan hal yang bohong. dadang mulyana 2013 16 8

Kasus 1: orang tersebut selalu menyatakan hal yang benar. Ini berarti p benar, dan jawabannya terhadap pertanyaan kita pasti juga benar, sehingga pernyataan bi-implikasi tersebut bernilai benar. Dari Tabel bi-implikasi kita melihat bahwa bila p benar dan p qbenar,makaqharusbenar.jadi,adaemasdipulautersebutadalahbenar. Kasus 2: orang tersebut selalu menyatakan hal yang bohong. Ini berarti p salah, dan jawabannya terhadap pertanyaan kita pasti juga salah, sehingga pernyataan bi-implikasi tersebut salah. Dari Tabel bi-implikasi kita melihat bahwa bila p salah dan p q salah, makaqharusbenar.jadi,adaemasdipulautersebutadalahbenar. p q p q T T T T F F F T F F F T Dari kedua kasus, kita selalu berhasil menyimpulkan bahwa ada emas di pulau tersebut, meskipun kita tidak dapat memastikan dari suku mana orang tersebut. dadang mulyana 2013 17 9