PERTEMUAN Logika Matematika

dokumen-dokumen yang mirip
PERTEMUAN Logika Matematika

PERTEMUAN Logika Matematika

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

A. Pengertian Logika B. Pernyataan C. Nilai Kebenaran

PROPOSISI MATEMATIKA SISTEM INFORMASI 1

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

Matematika Industri I

PERNYATAAN (PROPOSISI)

PROPOSISI. Novy SetyaYunas. Pertemuan 4

MATEMATIKA DISKRIT LOGIKA

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

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

LOGIKA. /Nurain Suryadinata, M.Pd

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

LOGIKA. Arum Handini Primandari

MATEMATIKA DISKRIT. Logika

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

BAB I DASAR-DASAR LOGIKA

LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi)

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

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

Mahdhivan Syafwan. PAM 123 Pengantar Matematika

INGKARAN DARI PERNYATAAN

BAB I PENDAHULUAN. 1.1 Latar Belakang

NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3)

LOGIKA Matematika Industri I

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

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

Logika Matematika. Cece Kustiawan, FPMIPA, UPI

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

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

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

LOGIKA DAN PEMBUKTIAN

1. Memahami pengertian proposisi dan predikat. 3. Memahami penggunaan penghubung dan tabel kebenaran

Pertemuan 1. Pendahuluan Dasar-Dasar Logika

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

Unit 6 PENALARAN MATEMATIKA. Clara Ika Sari Budhayanti. Pendahuluan. Selamat belajar, semoga Anda sukses.

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

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

ANALISIS REAL. (Semester I Tahun ) Hendra Gunawan

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8

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

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

PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321. SEMESTER : GANJIL (5) DOSEN : MAULANA, S.Pd., M.Pd.

BAB III DASAR DASAR LOGIKA

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

Logika & Himpunan 2013 LOGIKA MATEMATIKA. Oleh NUR INSANI, M.SC. Disadur dari BUDIHARTI, S.Si.

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN

ARGUMENTASI. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya.

Dasar Logika Matematika

BAB 6 ALJABAR BOOLE. 1. Definisi Dasar MATEMATIKA DISKRIT

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

MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi)

KALIMAT MAJEMUK DAN KONEKTIVITAS

ALGORITMA STRUCTURED ENGLISH DAN PSEUDOCODE

PERTEMUAN 3 DASAR-DASAR LOGIKA

ALGORITMA STRUCTURED ENGLISH DAN PSEUDOCODE

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

I. PERNYATAAN DAN NEGASINYA

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

PENALARAN MATEMATIKA BIOMETRIKA I

PERTEMUAN KE 3 F T T F T F T F

LOGIKA MATEMATIKA I. PENDAHULUAN

Definisi : predikat (first order) adalah suatu Kata (simbol) yg jika di berikan pada kalimat terbuka, dapat berubah menjadi kalimat tertutup.

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

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

Teknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK

MODUL 3 OPERATOR LOGIKA

Logika. Modul 1 PENDAHULUAN

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

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

LOGIKA SIMBOLIK. Bagian II. September 2005 Pengantar Dasar Matematika 1

Jadi penting itu baik, tapi jadi baik jauh lebih penting

Argumen premis konklusi jika dan hanya jika Tautolog

BAB II TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN

BAB I LOGIKA MATEMATIKA

PROPOSISI MAJEMUK. dadang mulyana

Algoritma dan Pemrograman 2C. Logika Proporsional YUDI ADHA. ST. MMSI

Berpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I)

Logika Proposisi. Adri Priadana ilkomadri.com

Struktur Diskrit. Catatan kuliah Struktur Diskrit Program Ilmu Komputer. disusun oleh Yusuf Hartono Fitri Maya Puspita

DE-ALGEBRAS, E-LOGIC DAN E-SET THEORY. Denik Agustito

LOGIKA INFORMATIKA. Bahan Ajar

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

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012

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

PENALARAN INDUKTIF DAN DEDUKTIF

Aljabar Bentuk Pernyataan

Matematika Diskrit LOGIKA

Matematika Terapan Teknik Informatika

Pertemuan 1. Pendahuluan Proposisi Jenis-Jenis Proposisi

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

PENALARAN DALAM MATEMATIKA

KUANTOR. A. Fungsi Pernyataan

BAB 6 ALJABAR BOOLE. 1. Definisi Dasar. Teorema 1 MATEMATIKA DISKRIT

Transkripsi:

1-1 PERTEMUAN 1 Nama Mata Kuliah : Matematika Diskrit ( 3 SKS) Nama Dosen Pengampu : Dr. Suparman E-mail : matdis@netcourrier.com HP : 081328201198 Judul Pokok Bahasan Tujuan Pembelajaran : 1. Logika Matematika 1.1. Konjungsi, Disjungsi, dan Negasi 1.2. Kesamaan Logika : a) Mengerti apa yang dimaksud dengan proposisi. b) Mengenal kalimat yang merupakan proposisi dan kalimat yang bukan merupakan proposisi. c) Mengerti apa yang dimaksud dengan konjungsi dan mengetahui bagaimana menentukan konjugasi dua proposisi. d) Mengerti tabel kebenaran untuk konjungsi dan dapat menentukan nilai kebenaran suatu konjungsi. e) Mengetahui apa yang dimaksud dengan disjungsi dan mengetahui bagaimana menentukan disjungsi dua proposisi. f) Mengetahui tabel kebenaran untuk disjungsi dan dapat menentukan nilai kebenaran suatu disjungsi. g) Mengerti apa yang dimaksud dengan negasi dan mengetahui bagaimana menentukan negasi proposisi. h) Mengetahui tabel kebenaran untuk negasi dan dapat menentukan nilai kebenaran suatu negasi. i) Mengerti apa yang dimaksud dengan dua proposisi yang ekuivalen secara logika. j) Dapat menunjukkan dua proposisi yang ekuivalen secara logika dengan menggunakan tabel kebenaran. 1. Logika Matematika Logika merupakan studi penalaran; secara khusus membahas apakah suatu penalaran benar. Dasar dari teori logika adalah proposisi. Proposisi atau kalimat terbuka adalah kalimat yang bisa bernilai benar atau bisa bernilai salah, tetapi tidak sekaligus keduanya. Proposisi biasanya dinyatakan sebagai kalimat berita (bukan kalimat tanya, kalimat perintah dan sebagainya). Contoh 1.1 : Nyatakan apakah setiap kalimat yang diberikan adalah proposisi atau bukan. a. Matahari terbit dari Timur b. 1+2 = 4 c. Kerjakan latihan soal di rumah d. Apakah anda merasa senang tinggal di Yogyakarta? e. Bumi adalah satu-satunya planet di jagat raya yang mempunyai kehidupan f. n adalah bilangan ganjil. Kalimat a,b, dan e merupakan proposisi sedangkan kalimat c, d, dan f bukan merupakan proposisi.

1-2 Kita akan menggunakan huruf kecil, seperti p, q, dan r, untuk menyatakan proposisi. Sebagai contoh, kita menggunakan notasi p :1 1 3 untuk mendefinisikan p sebagai proposisi 1+1 = 3. Nilai kebenaran suatu proposisi ditentukan oleh kebenaran kalimat yang menyatakannya. Sebagai contoh, proposisi bernilai salah, sedangkan proposisi q : Paris ibu kota Perancis bernilai benar. Selanjutnya kita akan menulis B untuk menyatakan benar dan S untuk menyatakan salah. 1.1 Konjungsi, Disjungsi, dan Negasi Misalkan p dan q adalah proposisi. a. Konjungsi p dan q, dinyatakan dengan p q, adalah proposisi p dan q. b. Disjungsi p dan q, dinyatakan dengan p q, adalah proposisi p atau q c. Negasi dari p, dinyatakan dengan p, adalah proposisi bukan p Proposisi seperti p q dan p q yang merupakan hasil kombinasi dari proposisi-proposisi disebut proposisi majemuk. Nilai kebenaran dari proposisi-proposisi dengan tabel kebenaran berikut. p q, p q, dan p didefinisikan masing-masing B B B B S S S B S S S S B B B B S B S B B S S S Tabel 1.1 Tabel 1.2 Tabel 1.3 Catatan : Kata atau pada disjungsi p q digunakan dalam makna inklusif ; yakni, p q dinyatakan benar apabila baik p atau q atau keduanya benar dan p q salah hanya jika kedua p dan q salah Sedangkan makna eksklusif-atau, dinyatakan p exor q, bernilai benar apabila baik p atau q benar, tetapi tidak keduanya. Contoh 1.2 : Untuk proposisi-proposisi berikut q : Satu tahun sama dengan 12 bulan Tentukanlah a. Konjungsi p q beserta nilai kebenarannya b. Disjungsi p q beserta nilai kebenarannya p B S p S B

1-3 c. Negasi p beserta nilai kebenarannya : 1+1 = 3 dan satu tahun sama dengan 12 bulan Karena p salah dan q benar maka menurut Tabel 1.1 konjungsi p q adalah salah. b. p q : 1+1 = 3 atau satu tahun sama dengan 12 bulan Karena p salah dan q benar maka menurut Tabel 1.2 disjungsi p q adalah benar. c. p : Adalah tidak benar bahwa 1+1 = 3 Karena p salah maka menurut Tabel 1.3 negasi p adalah benar. Contoh 1.3 : Untuk proposisi-proposisi berikut q : Satu tahun sama dengan 12 bulan r : Candi Prambanan terletak di Yogyakarta Nyatakan proposisi simbolik ( p q) r dengan kata-kata dan kemudian evaluasi nilai kebenarannya. Proposisi ( p q) r dapat dinyatakan sebagai 1+1 = 3 atau satu tahun sama dengan 12 bulan dan candi Prambanan tidak terletak di Yogyakarta. Candi Prambanan tidak terletak di Yogyakarta dapat juga dinyatakan sebagai tidak benar bahwa candi Prambanan terletak di Yogyakarta. Untuk mengevaluasi nilai kebenaran ( p q) r kita dapat menggunakan tabel berikut p q r p q r ( p q) S B S B B B Tabel 1.4 Dari tabel tersebut terlihat bahwa proposisi ( p q) r adalah benar. r Latihan Soal 1.1 Nyatakan apakah setiap kalimat berikut adalah proposisi atau bukan. a. 4 + 4 = 16. b. Candi Borobudur berada di pulau Jawa. c. Belikan dua tiket bus untuk tujuan ke Bali. d. Kapan Candi Prambanan dibangun? e. Sukarno adalah presiden Indonesia yang pertama. 1.2 Jika proposisi p bernilai S, proposisi q bernilai B, dan proposisi r bernilai S, evaluasikan nilai kebenaran prosisi yang diberikan. b. p q d. p q e. p (q r ) f. ( p r) (q r) (r p )

1-4 1.3 Tuliskan tabel kebenaran dari setiap proposisi yang diberikan. d. ( p q) r b. ( p q) p e. ( p q) p f. ( p q) p 1.4 Dengan memisalkan p : 5<9, q : 9<7, r : 5<7, nyatakan dengan simbol untuk setiap pernyataan yang diberikan. a. 5<9 atau 9<7 b. Adalah tidak benar bahwa (5<9 dan 9<7) c. 5<9 atau tidak benar bahwa (9< dan 5<7) 1.5 Dengan menggunakan p : Hari ini adalah hari Sabtu q : Hujan turun r : Hari ini panas.rumuskan pernyataan simbolik yang diberikan dengan kata-kata d. ( p q) r b. ( p q) (r p ) e. p (q r ) f. ( p q) r 1.2 Kesamaan Logika Dua proposisi majemuk P dan Q disebut ekuivalen secara logika, ditulis sebagai P Q bila keduanya mempunyai nilai kebenaran yang sama tidak peduli nilai kebenaran yang dimiliki oleh proposisi unsur-unsurnya. Sebagai contoh, hukum De Morgan yang pertama dan kedua untuk logika, masing-masing adalah ekuivalen secara logika. Teorema 1.1 : Hukum De Morgan untuk logika 1. 2. Untuk menunjukkan dua proposisi majemuk ekuivalen secara logika kita dapat dilakukan dengan mengecek nilai kebenaran kedua proposisi. Contoh 1.4 : Tunjukkan hukum De Morgan yang pertama adalah ekuivalen secara logika. Tabel kebenaran untuk kesamaan tersebut adalah p q B B B S S S S B S B S B S S S B B B S S S S S S B B B B Tabel 1.5

1-5 Dari tabel di atas terlihat bahwa untuk nilai sebarang yang diberikan dari p dan q, p q dan p q mempunyai nilai kebebaran yang sama. Maka p q dan p q adalah ekuivalen secara logika dan ditulis sebagai Latihan Soal 1.6 Tunjukkan hukum De Morgan yang kedua adalah ekuivalen secara logika. 1.7 Untuk setiap proposisi p, q dan r, perlihatkan bahwa a. ( p q) r p (q r ) b. ( p q) r p (q r ) c. p (q r) (p q) (p r ) d. p (q r) (p q) (p r ) e. p p Daftar Pustaka R. Johnsonbaugh, Matematika Diskrit Jilid 1, Prenhallindo, 1998.