LOGIKA. /Nurain Suryadinata, M.Pd

dokumen-dokumen yang mirip
MATEMATIKA DISKRIT LOGIKA

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

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

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

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

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

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

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

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

Matematika Diskrit LOGIKA

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

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

Logika Matematik. Saripudin, M.Pd.

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

Matematika Industri I

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

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

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

Pertemuan 2. Proposisi Bersyarat

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

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

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

MATEMATIKA DISKRIT. Logika

Logika Proposisi. Rudi Susanto

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

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

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

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

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

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

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

PROPOSISI MATEMATIKA SISTEM INFORMASI 1

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

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

1. SET. Descrete Mathematics 1

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

1.Asas Logik dan Pembuktian

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

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

Program Studi Teknik Informatika STMIK Tasikmalaya

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

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

Konvers, Invers dan Kontraposisi

LOGIKA DAN PEMBUKTIAN

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

LOGIKA. Arum Handini Primandari

LOGIKA MATEMATIKA (Pendalaman Materi SMA)

BAB I DASAR-DASAR LOGIKA

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

Pengantar Logika - 2

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi

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

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

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

PROPOSISI MAJEMUK. dadang mulyana

BAB 6 LOGIKA MATEMATIKA

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

Dasar-dasar Logika. (Review)

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN

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

BAB I LOGIKA MATEMATIKA

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

1.3 Pembuktian Tautologi dan Kontradiksi. Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi

4. LOGIKA MATEMATIKA

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

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

LOGIKA & PEMBUKTIAN. Anita T. Kurniawati, MSi LOGIKA

LOGIKA MATEMATIKA I. PENDAHULUAN

6. LOGIKA MATEMATIKA

Modul Praktikum. Logika Dasar. Dosen Pengampu: Anie Rose Irawati M.Cs. Penyusun:

Pengantar Logika - 2

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

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)

Modul Matematika X Semester 2 Logika Matematika

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

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

I. PERNYATAAN DAN NEGASINYA

EKSKLUSIF OR (XOR) DEFINISI

BAHAN AJAR LOGIKA MATEMATIKA

KATA PENGANTAR. Assalamu alaikum Wr. Wb.

Mahdhivan Syafwan. PAM 123 Pengantar Matematika

Jadi penting itu baik, tapi jadi baik jauh lebih penting

LOGIKA MATEMATIKA Menuju TKD 2014

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

Logika Matematika. Cece Kustiawan, FPMIPA, UPI

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

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

RENCANA PELAKSANAAN PEMBELAJARAN

Definisi 2.1. : Sebuah pernyataan yang bernilai benar atau salah disebut dengan proposisi (proposition)

INGKARAN DARI PERNYATAAN

NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3)

LOGIKA MATEMATIKA. Pernyataan

MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC

Logika Proposisi. Adri Priadana ilkomadri.com

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL

MODUL 3 OPERATOR LOGIKA

PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT

BAB IV LOGIKA A. Pernyataan B. Operasi uner

Argumen premis konklusi jika dan hanya jika Tautolog

Transkripsi:

Nama Mata Kuliah Kode Mata Kuliah/SKS Program Studi Semester Dosen Pengampu : Matematika Diskrit : MAT-3615/ 3 sks : Pendidikan Matematika : VI (Enam) : Nego Linuhung, M.Pd /Nurain Suryadinata, M.Pd

Referensi : Munir, R. 2012. Matematika Diskrit. Bandung. Informatika

Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Di dalam logika, tidak semua jenis kalimat menjadi obyek tinjauan. Proposisi Pernyataan atau kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya.

Contoh 1. Gajah lebih besar daripada semut 2. Gunung bromo terletak di Jawa Tengah 3. Pergi saja kamu dari sini 4. Jakarta adalah ibukota Singapura 5. x adalah bilangan prima kurang dari 15 6. 100<75 7. x > 4 8. Sekarang tahun 2006 9. Dilarang membuang sampah sembarangan Apakah contoh tersebut merupakan pernyataan/proposisi? Apakah nilai kebenaran dari proposisi tersebut?

x adalah bilangan prima kurang dari 15 Nilai kebenaran dari pernyataan tersebut bergantung pada x, tapi nilainya belum ditentukan. Pernyataan jenis ini kita sebut sebagai fungsi proposisi atau kalimat terbuka. Hanya pernyataanlah yang bisa menjadi proposisi.

Contoh 1. Semua pernyataan di bawah ini adalah proposisi: (a) 11 adalah bilangan ganjil (b) Soekarno adalah presiden pertama Indonesia. (c) 1 + 1 = 2 (d) 8 akar kuadrat dari 8 + 8 (e) Ada monyet di bulan (f) Hari ini adalah hari Rabu (g) Untuk sembarang bilangan bulat n 0, maka 2n adalah bilangan genap (h) x + y = y + x untuk setiap x dan y bilangan riil

Mengkombinasikan Proposisi Misalkan p dan q adalah proposisi. 1. Konjungsi (conjunction): p dan q Notasi p q, 2. Disjungsi (disjunction): p atau q Notasi: p q 3. Ingkaran (negation) dari p: tidak p Notasi: p p dan q disebut proposisi atomik Kombinasi p dengan q menghasilkan proposisi majemuk (compound proposition

Contoh 3 Diketahui proposisi-proposisi berikut: p : Hari ini hujan q : Murid-murid diliburkan dari sekolah p q : Hari ini hujan dan murid-murid diliburkan dari sekolah p q : Hari ini hujan atau murid-murid diliburkan dari sekolah p : Tidak benar hari ini hujan (atau: Hari ini tidak hujan)

Contoh 4. Diketahui proposisi-proposisi berikut: p : Pemuda itu tinggi q : Pemuda itu tampan Nyatakan dalam bentuk simbolik: a) Pemuda itu tinggi dan tampan b) Pemuda itu tinggi tapi tidak tampan c) Pemuda itu tidak tinggi maupun tampan Penyelesaian: a) p q b) p q c) p q

Tabel Kebenaran p q p q p q p q p q T T T T T T T F T F F T F T F T F T F F T T F F F F F F Contoh 5. Misalkan p : 17 adalah bilangan prima (benar) q : bilangan prima selalu ganjil (salah) p q : 17 adalah bilangan prima dan bilangan prima selalu ganjil (salah)

Contoh 6. Bentuklah tabel kebenaran dari proposisi majemuk (p q) (~q r). p q r p q ~q ~q r (p q) (~q r)

p q r p q ~q ~q r (p q) (~q r) T T T T F F T T T F T F F T T F T F T T T T F F F T F F F T T F F F F F T F F F F F F F T F T T T F F F F T F F

Proposisi majemuk disebut tautologi jika ia benar untuk semua kasus Contoh 7. p ~(p q) adalah sebuah tautologi p q p q ~(p q) p ~(p q) T T T F T T F F T T F T F T T F F F T T

Proposisi majemuk disebut kontradiksi jika ia salah untuk semua kasus. Contoh 8. (p q) ~(p q) adalah sebuah kontradiksi p q p q p q ~(p q) (p q) ~(p q) T T T F F F T F F T F F F T F T F F F F F F T F

Dua buah proposisi majemuk, P(p, q,..) dan Q(p, q,..) disebut ekivalen secara logika jika keduanya mempunyai tabel kebenaran yang identik. Notasi: P(p, q, ) Q(p, q, ) Contoh 9. Hukum De Morgan: ~(p q) ~p ~q. p q p q ~ (p q) ~ p ~q ~ p ~ q T T T F F F F T F F T F T T F T F T T F T F F F T T T T

Hukum-hukum Logika Disebut juga hukum-hukum aljabar proposisi. 1. Hukum identitas: p F p p T p 3. Hukum negasi: p ~p T p ~p F 5. Hukum involusi (negasi ganda): ~(~p) p 2. Hukum null/dominasi: p F F p T T 4. Hukum idempoten: p p p p p p 6. Hukum penyerapan (absorpsi): p (p q) p p (p q) p

7. Hukum komutatif: p q q p p q q p 9. Hukum distributif: p (q r) (p q) (p r) p (q r) (p q) (p r) 8. Hukum asosiatif: p (q r) (p q) r p (q r) (p q) r 10. Hukum De Morgan: ~(p q) ~p ~q ~(p q) ~p ~q

1. Tunjukkan bahwa p ~(p q) dan p ~q keduanya ekivalen secara logika. 2. Buktikan hukum penyerapan: p (p q) p

Penyelesaian: 1. p ~(p q ) p (~p ~q) (Hukum De Morgan) (p ~p) (p ~q) (Hukum distributif) T (p ~q) (Hukum negasi) p ~q (Hukum identitas) 2. p (p q) (p F) (p q) (Hukum Identitas) p (F q) (Hukum distributif) p F (Hukum Null) p (Hukum Identitas)

Disjungsi Eksklusif Kata atau (or) dalam operasi logika digunakan dalam salah satu dari dua cara: 1. Inclusive or atau berarti p atau q atau keduanya Contoh: Tenaga IT yang dibutuhkan harus menguasai Bahasa C++ atau Java. 2. Exclusive or atau berarti p atau q tetapi bukan keduanya. Contoh: Ia dihukum 5 tahun atau denda 10 juta.

Operator logika disjungsi eksklusif: xor Notasi: Tabel kebenaran: p q p q T T F T F T F T T F F F

Proposisi Bersyarat (kondisional atau implikasi) Bentuk proposisi: jika p, maka q Notasi: p q Proposisi p disebut hipotesis, antesenden, premis, atau kondisi Proposisi q disebut konklusi (atau konsekuen). 22

Contoh: 1. Jika saya lulus ujian, maka saya mendapat hadiah dari ayah 2. Jika anda tidak mendaftar ulang, maka anda dianggap mengundurkan diri Cara-cara mengekspresikan implikasi p q: Jika p, maka q Jika p, q p mengakibatkan q (p implies q) q jika p p hanya jika q

Contoh. Tunjukkan bahwa p q ekivalen secara logika dengan ~ p q. Penyelesaian: p q ~ p p q ~ p q T T F T T T F F F F F T T T T F F T T T Jika p, maka q Tidak p atau q.

Implikasi Untuk memahami implikasi, pelajarilah uraian berikut. Misalkan: Anto berjanji pada Putri, Jika malam nanti tidak hujan, maka saya akan datang kerumahmu.

1. Jika pada malam yang dijanjikan tidak hujan dan Anto datang kerumah Putri, Putri senang karena Anto memenuhi janjinya. Tapi, 2. jika malam hujan dan Anto tetap kerumah Putri, Putri tentu merasa senang sekali. 3. Jika malam hujan dan Anto tidak datang kerumah Putri, tentunya Putri akan memakluminya. 4. Lalu bagaimana jika malam ini tidak hujan dan Anto tidak kerumah Putri? Itu akan lain lagi ceritanya. Tentu saja Putri akan kecewa dan menganggap Anto sebagai pembohong karena tidak menepati janjinya.

p : malam tidak hujan. q : Anto datang kerumah Putri. Misalkan, Pernyataan jika malam nanti tidak hujan, maka Anto akan datang kerumah Putri. Dapat dinyatakan sebagai jika p maka q atau dilambangkan dengan p q. Suatu pernyataan majemuk dengan bentuk jika p, maka q disebut implikasi.

Ada perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki hubungan dengan pernyataan konklusi/konsekuen q. Misalnya, pada contoh implikasi sebelumnya, Jika malam nanti tidak hujan maka saya akan datang kerumahmu. Artinya ada hubungan sebab-akibat. Pen Das. Mat 2. Dalam logika matematika, pernyataan hipotesis/anteseden p tidak harus memiliki hubungan dengan konklusi/konsekuen q Tentukanlah nilai kebenaran dari implikasi berikut: a. Jika 5 + 8 = 12, maka Batu adalah benda padat.

Contoh. Dua pedagang barang kelontong mengeluarkan moto jitu untuk menarik pembeli. Pedagang pertama mengumbar moto Barang bagus tidak murah sedangkan pedagang kedua mempunyai moto Barang murah tidak bagus. Apakah kedua moto pedagang tersebut menyatakan hal yang sama?

Penyelesaian: p : Barang itu bagus q : Barang itu murah. Moto pedagang pertama: Jika barang itu bagus maka barang itu tidak murah atau p ~ q Moto pedagang kedua: Jika barang itu murah maka barang itu tidak bagus atau q ~ p. p q ~ p ~ q p ~ q q ~ p T T F F F F T F F T T T F T T F T T F F T T T T p ~ q q ~ p. Kedua moto tersebut menyatakan hal yang sama.

Konvers (kebalikan): q p Invers : ~ p ~ q Kontraposisi : ~ q ~ p Varian Proposisi Bersyarat 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

Contoh Tentukan konvers, invers, dan kontraposisi dari implikasi berikut: Penyelesaian: Jika Amir mempunyai mobil, maka ia orang kaya Konvers Invers Kontraposisi : Jika Amir orang kaya, maka ia mempunyai mobil : Jika Amir tidak mempunyai mobil, maka ia bukan orang kaya : Jika Amir bukan orang kaya, maka ia tidak mempunyai mobil Manakah dari konvers, invers, dan kontraposisi yang ekuivalen dengan implikasi?

Bentuk proposisi: p jika dan hanya jika q Notasi: p q Bikondisional (Bi-implikasi) p q p q T T T T F F F T F F F T p q (p q) (q p). contoh: Jika anda orang kaya maka anda mempunyai banyak uang, dan sebaliknya.

1. SILOGISME p q..... premis 1 q r..... premis 2 p r... kesimpulan / konklusi Dalam bentuk implikasi, silogisme dapat dituliskan sebagai p q q r p r sah atau tidaknya silogisme dapat diuji dengan tabel kebenaran

2. MODUS PONENS Jika p q benar dan p benar maka q benar. Skema argumen dapat ditulis sebagai berikut : p q...... premis 1 p...... premis 2 q..... kesimpulan / konklusi Dalam bentuk implikasi, argumentasi tersebut dapat dituliskan sebagai p q p. q

3. MODUS TOLLENS Jika p q benar dan ~ q benar maka p benar Skema argumen dapat ditulis sebagai berikut: p q..... premis 1 ~q..... premis 2 ~p...... kesimpulan / konlusi p Dalam bentuk implikasi, modus tollens dapat dituliskan sebagai p q ~ q ~,

Argumen Argumen adalah suatu deret proposisi yang dituliskan sebagai p 1 p 2 p n q yang dalam hal ini, p 1, p 2,, p n disebut hipotesis (atau premis), dan q disebut konklusi. Argumen ada yang sahih (valid) dan palsu (invalid).

Perlihatkan bahwa penalaran pada argumen berikut: Jika air laut surut setelah gempa di laut, maka tsunami dat Tsunami datang. Jadi, air laut surut setelah gempa di laut Penyelesaian: Argumen di atas berbentuk p q q p Tautologi maka argumen sahih

1. Tunjukanlah bahwa p ~(p q) adalah sebuah tautologi 2. Buktikan hukum penyerapan: p (p q) p 3. P1 : jika saya belajar, maka saya tahu banyak hal P2 : jika saya tahu banyak hal, maka saya menjadi siswa teladan Konklusi:... 4. Tentukan konvers, invers, dan kontraposisi dari setiap pernyataan implikasi a. Jika harga BBM naik, maka harga beras naik b. Jika Arman siswa yang pandai, maka ia lulus tes

MATEMATIKA DISKRIT SELESAI TERIMA KASIH HOME