Pertemuan 1. Pendahuluan Dasar-Dasar Logika

Ukuran: px
Mulai penontonan dengan halaman:

Download "Pertemuan 1. Pendahuluan Dasar-Dasar Logika"

Transkripsi

1 Pertemuan 1 Pendahuluan Dasar-Dasar Logika

2 Apakah Matematika Diskrit itu? Apa yang dimaksud dengan kata diskrit (discrete)? Objek disebut diskrit jika: - terdiri dari elemen yang berbeda (distinct) dan terpisah secara individual, atau - elemen-elemennya tidak bersambungan (unconnected). Contoh: himpunan bilangan bulat (integer) Lawan kata diskrit: kontinyu atau menerus (continuous). Contoh: himpunan bilangan riil (real)

3 Diskrit versus kontinu Kurva mulus: himpunan menerus Titik-titik tebal di kurva: himpunan diskrit

4 Komputer digital bekerja secara diskrit. Informasi yang disimpan dan dimanipulasi oleh komputer adalah dalam bentuk diskrit. Kamera digital menangkap gambar (analog) lalu direpresentasikan dalam bentuk diskrit berupa kumpulan pixel atau grid. etiap pixel adalah elemen diskrit dari sebuah gambar 4

5 Matematika Diskrit: cabang matematika yang mengkaji objek-objek yang nilainya berbeda (distinct) dan terpisah (separate) satu sama lain. Lawannya: Matematika Menerus (continuous mathematics), yaitu cabang matematika dengan objek yang sangat mulus (smoothy), termasuk di dalamnya calculus.

6 1. Logika

7 2. Teori Himpunan

8 3. Relasi dan Fungsi umber:

9 4. Induksi Matematik umber gambar: math.stackexchange.com

10 5. Kombinatorial umber: umber: ronsden.com

11 6. Rekursif dan relasi rekurens umber: umber: cas.bethel.edu

12 7. Teori Graf umber: simonkneebone.com

13 LOGIKA

14 Dasar-Dasar Logika Logika merupakan studi penalaran (reasoning) Menurut kamus esar ahasa Indonesia didefinisikan sebagai cara berpikir dengan mengembangkan sesuatu berdasarkan akal budi dan bukan dengan perasaan atau pengalaman. Logika difokuskan pada hubungan antara pernyataan-pernyataan (statements) Logika pertama kali dikembangkan oleh filusuf Yunani, Aristoteles, sekitar 2300 tahun yang lalu aat ini, logika mempunyai aplikasi yang luas di dalam ilmu komputer, misalnya dalam bidang pemrograman, analisis kebenaran algoritma, kecerdasan buatan, perancangan komputer dan lain-lain

15 Kalimat Deklaratif/ Proposisi Definisi 1.1 Kalimat deklaratif (proposisi) adalah kalimat yang bernilai benar atau salah namun tidak keduanya sekaligus. Contoh: a. Jakarta adalah ibukota Negara Indonesia b. oekarno adalah Presiden Indonesia yang pertama c. 5 adalah bilangan ganjil d. Ibukota Provinsi umatera elatan adalah Medan e f. Kemarin hari hujan g. Wanita itu sangat cantik h. Dimanakah rumahmu?

16 Penghubung Kalimat Definisi 1.2 Misalkan p dan q adalah proposisi. Konjungsi p dan q dinyatakan dengan notasi p q, adalah proposisi p dan q Disjungsi p atau q dinyatakan dengan notasi p q, adalah proposisi p atau q Ingkaran atau negasi dari p, dinyatakan dengan notasi p, adalah proposisi tidak p

17 Contoh: Diketahui proposisi-proposisi berikut: p : Hari ini hujan q : Murid-murid diliburkan dari sekolah Tentukan bentuk proposisi dari p q, p q dan p Penyelesaian: 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

18 Contoh: Diketahui proposisi-proposisi berikut: p : Pemuda itu tinggi q : Pemuda itu tampan Nyatakan proposisi berikut ke dalam ekspresi logika (notasi simbolik): a. Pemuda itu tinggi dan tampan b. Pemuda itu tinggi tapi tidak tampan c. Pemuda itu tidak tinggi maupun tampan d. Tidak benar bahwa pemuda itu pendek atau tidak tampan e. Pemuda itu tinggi, atau pendek dan tampan f. Tidak benar bahwa pemuda itu pendek maupun tampan Penyelesaian: a. p q b. p q c. p q d. p q e. p p q

19 Tabel Kebenaran Definisi 1.3 Misalkan p dan q adalah proposisi a. Konjungsi p q bernilai benar jika p dan q keduanya benar, selain itu nilainya salah b. Disjungsi p q bernilai salah jika p dan q keduanya salah, selain itu nilainya benar c. Negasi p, yaitu p, bernilai benar jika p salah, sebaliknya bernilai salah jika p benar Contoh: Misalkan p : 17 adalah bilangan ganjil q : 9 adalah bilangan prima jelas bahwa p bernilai benar dan q bernilai salah sehingga konjungsi p q : 17 adalah bilangan ganjil da 9 adlah bilangan prima Adalah salah

20 Tabel Konjungsi p q p q Tabel Disjungsi p q p q Tabel Negasi p q p

21 Contoh: entuklah tabel kebenaran dari ekspresi logika berikut: a. p q b. p q q r Penyelesaian: a. p q q p q p q b. p q r p q q q r p q q r

22

23 3. 4.

24 5. Tuliskan tabel kebenaran untuk setiap proposisi berikut: a. p q p b. p q r c. p q r d. p q r p e. p q r r q p

Pengantar Matematika. Diskrit. Bahan Kuliah IF2120 Matematika Diksrit RINALDI MUNIR INSTITUT TEKNOLOGI BANDUNG

Pengantar Matematika. Diskrit. Bahan Kuliah IF2120 Matematika Diksrit RINALDI MUNIR INSTITUT TEKNOLOGI BANDUNG PROGRAM STUDI TEKNIK INFORMATIKA Sekolah Teknik Elrektro dan Informatika INSTITUT TEKNOLOGI BANDUNG Pengantar Matematika Bahan Kuliah IF2120 Matematika Diksrit Diskrit RINALDI MUNIR Lab Ilmu dan Rekayasa

Lebih terperinci

Pengantar Matematika. Diskrit. Bahan Kuliah IF2120 Matematika Diksrit RINALDI MUNIR INSTITUT TEKNOLOGI BANDUNG

Pengantar Matematika. Diskrit. Bahan Kuliah IF2120 Matematika Diksrit RINALDI MUNIR INSTITUT TEKNOLOGI BANDUNG PROGRAM STUDI TEKNIK INFORMATIKA Sekolah Teknik Elrektro dan Informatika INSTITUT TEKNOLOGI BANDUNG Pengantar Matematika Bahan Kuliah IF2120 Matematika Diksrit Diskrit RINALDI MUNIR Lab Ilmu dan Rekayasa

Lebih terperinci

Matematika Diskrit. Rudi Susanto

Matematika Diskrit. Rudi Susanto Matematika Diskrit Rudi Susanto Rasa ingin tahu adalah ibu dari semua ilmu pengetahuan Tak kenal maka tak sayang, tak sayang maka tak cinta Perjalanan satu mil dimulai dari satu langkah Kuliah kita.. Matematika

Lebih terperinci

Pengantar Matematika Diskrit

Pengantar Matematika Diskrit Materi Kuliah Matematika Diskrit Pengantar Matematika Diskrit Didin Astriani Prasetyowati, M.Stat Program Studi Informatika UIGM 1 Apakah Matematika Diskrit itu? Matematika Diskrit: cabang matematika yang

Lebih terperinci

PENGANTAR MATEMATIKA DISKRIT

PENGANTAR MATEMATIKA DISKRIT PROGRAM STUDI TEKNIK INFORMATIKA FAKULTAS TEKNIK UNIVERSITAS MUHAMMADIYAH JEMBER PENGANTAR MATEMATIKA DISKRIT ILHAM SAIFUDIN Selasa, 04 Oktober 2016 Universitas Muhammadiyah Jember Apa Kalian tau? Jawabannya

Lebih terperinci

Rasa ingin tahu adalah ibu dari semua ilmu pengetahuan. Tak kenal maka tak sayang, tak sayang maka tak cinta

Rasa ingin tahu adalah ibu dari semua ilmu pengetahuan. Tak kenal maka tak sayang, tak sayang maka tak cinta Rasa ingin tahu adalah ibu dari semua ilmu pengetahuan Tak kenal maka tak sayang, tak sayang maka tak cinta Perjalanan satu mil dimulai dari satu langkah 1 Dahulu namanya.. Matematika Diskrit 2 Mengapa

Lebih terperinci

Pengantar Matematika. Diskrit. Bahan Kuliah IF2091 Struktur Diksrit RINALDI MUNIR INSTITUT TEKNOLOGI BANDUNG

Pengantar Matematika. Diskrit. Bahan Kuliah IF2091 Struktur Diksrit RINALDI MUNIR INSTITUT TEKNOLOGI BANDUNG PROGRAM STUDI TEKNIK INFORMATIKA Sekolah Teknik Elrektro dan Informatika INSTITUT TEKNOLOGI BANDUNG Pengantar Matematika Bahan Kuliah IF2091 Struktur Diksrit Diskrit RINALDI MUNIR Lab Ilmu dan Rekayasa

Lebih terperinci

Logika Proposisi. Adri Priadana ilkomadri.com

Logika Proposisi. Adri Priadana ilkomadri.com Logika Proposisi Adri Priadana ilkomadri.com Matematika Diskrit Apa? Cabang matematika yg mempelajari tentang obyek diskrit. Apa yang dimaksud dengan kata diskrit (discrete)? Objek disebut diskrit jika:

Lebih terperinci

PROPOSISI. Novy SetyaYunas. Pertemuan 4

PROPOSISI. Novy SetyaYunas. Pertemuan 4 Pertemuan 4 PROPOSISI Novy SetyaYunas Phone: [+62 8564 9967 841] Email: novysetiayunas@gmail.com Online Course: https://independent.academia.edu/yunaszone KAITAN LOGIKA DAN BAHASA Ada dua aspek penting

Lebih terperinci

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit DASAR-DASAR LOGIKA Pertemuan 2 Matematika Diskrit 25-2-2013 Materi Pembelajaran 1. Kalimat Deklaratif 2. Penghubung kalimat 3. Tautologi dan Kontradiksi 4. Konvers, Invers, dan Kontraposisi 5. Inferensi

Lebih terperinci

MATEMATIKA DISKRIT LOGIKA

MATEMATIKA DISKRIT LOGIKA MATEMATIKA DISKRIT LOGIKA Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika.

Lebih terperinci

Gembong Edhi Setyawan

Gembong Edhi Setyawan Gembong Edhi Setyawan Matakuliah : Matematika Komputasi Prasyarat : - Sifat : Wajib Bobot : 4 sks Mata kuliah ini membahas topik yang menjadi dasar matematika bagi mahasiswa informatika-ilmu komputer.

Lebih terperinci

INF-104 Matematika Diskrit

INF-104 Matematika Diskrit Jurusan Informatika FMIPA Unsyiah February 13, 2012 Apakah Matematika Diskrit Itu? Matematika diskrit: cabang matematika yang mengkaji objek-objek diskrit. Apa yang dimaksud dengan kata diskrit (discrete)?

Lebih terperinci

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT Penulis : Nelly Indriani Widiastuti S.Si., M.T. JURUSAN TEKNIK INFORMATIKA UNIVERSITAS KOMPUTER INDONESIA BANDUNG 2011 DAFTAR ISI Daftar Isi. 2 Bab 1 LOGIKA

Lebih terperinci

MATEMATIKA DISKRIT. Logika

MATEMATIKA DISKRIT. Logika MATEMATIKA DISKRIT Logika SILABUS KULIAH 1. Logika 2. Himpunan 3. Matriks, Relasi dan Fungsi 4. Induksi Matematika 5. Algoritma dan Bilangan Bulat 6. Aljabar Boolean 7. Graf 8. Pohon REFERENSI Rinaldi

Lebih terperinci

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

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka. BAB 2 LOGIKA PENGERTIAN Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang

Lebih terperinci

PERNYATAAN (PROPOSISI)

PERNYATAAN (PROPOSISI) Logika Gambaran Umum Logika : - Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata hubungnya sehingga didapat kalimat majemuk yang berupa kalimat deklaratif. - Logika Predikat menelaah

Lebih terperinci

LOGIKA. /Nurain Suryadinata, M.Pd

LOGIKA. /Nurain Suryadinata, M.Pd 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

Lebih terperinci

Matematika Diskrit. Pertemuan ke 1. By : Winda Aprianti, M.Si

Matematika Diskrit. Pertemuan ke 1. By : Winda Aprianti, M.Si Matematika Diskrit Pertemuan ke 1 By : Winda Aprianti, M.Si Mengapa belajar MatDis? Landasan berbagai bidang matematika Landasan ilmu komputer Mempelajari latar belakang matematis untuk pemecahan masalah

Lebih terperinci

PROPOSISI MATEMATIKA SISTEM INFORMASI 1

PROPOSISI MATEMATIKA SISTEM INFORMASI 1 PROPOSISI MATEMATIKA SISTEM INFORMASI 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat

Lebih terperinci

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

Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012 Jurusan Informatika FMIPA Unsyiah September 26, 2012 yang diharapkan Dasar: Menggunakan logika matematika. Indikator Esensial: 1 Mengidentifikasi suatu tautologi 2 Menentukan ingkaran suatu pernyataan

Lebih terperinci

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

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali Materi 4: Logika I Nyoman Kusuma Wardana STMIK STIKOM Bali Logika merupakan dasar dr semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan-pernyataan (statements). Dalam Logika

Lebih terperinci

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

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika Pengantar Logika 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika. Tetapi,

Lebih terperinci

PERTEMUAN Logika Matematika

PERTEMUAN Logika Matematika 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

Lebih terperinci

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

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai

Lebih terperinci

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

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan (statements). Proposisi kalimat deklaratif yang bernilai benar (true)

Lebih terperinci

BAB I PENDAHULUAN. 1.1 Latar Belakang

BAB I PENDAHULUAN. 1.1 Latar Belakang BAB I PENDAHULUAN 1.1 Latar Belakang Proposisi adalah pernyataan yang dapat ditentukan nilai kebenarannya, bernilai benar atau salah tetapi tidak keduanya. Sedangkan, Kalkulus Proposisi (Propositional

Lebih terperinci

B. Proposisi (Pernyataan) yaitu kalimat yang mempunyai nilai salah atau benar tetapi tidak sekaligus keduanya

B. Proposisi (Pernyataan) yaitu kalimat yang mempunyai nilai salah atau benar tetapi tidak sekaligus keduanya A. emesta Pembicaraan yaitu himpunan semua objek yang dibicarakan a. 1 + 1 = 2 Jika semesta pembicaraannya adalah himpunan bilangan bulat, himpunan bilangan cacah, himpunan bilangan asli. b. x 2 1 = 0

Lebih terperinci

BAHAN KULIAH LOGIKA MATEMATIKA

BAHAN KULIAH LOGIKA MATEMATIKA BAHAN KULIAH LOGIKA MATEMATIKA O L E H A. Rahman H., S.Si, MT & Muhammad Khaidir STTIKOM Insan unggul Jl. S.A. tirtayasa no. 146 Komp. Istana Cilegon blok B 25-28 Cilegon Banten 42414 http://didir.co.cc

Lebih terperinci

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

Materi Kuliah IF2091 Struktur Diskrit. Pengantar Logika. Oleh: Rinaldi Munir. Program Studi Informatika STEI - ITB Materi Kuliah IF2091 Struktur Diskrit Pengantar Logika Oleh: Rinaldi Munir Program Studi Informatika STEI - ITB 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti

Lebih terperinci

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

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat? BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti

Lebih terperinci

B. Proposisi (Pernyataan) yaitu kalimat yang mempunyai nilai salah atau benar tetapi tidak sekaligus keduanya

B. Proposisi (Pernyataan) yaitu kalimat yang mempunyai nilai salah atau benar tetapi tidak sekaligus keduanya A. emesta Pembicaraan yaitu himpunan semua objek yang dibicarakan a. 1 + 1 = 2 Jika semesta pembicaraannya adalah himpunan bilangan bulat, himpunan bilangan cacah, himpunan bilangan asli. b. x 2 1 = 0

Lebih terperinci

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM Pengantar Logika Didin Astriani Prasetyowati, M.Stat UIGM 1 BAB I PENGANTAR LOGIKA Konsep Logika Apakah logika itu? Seringkali Logika didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar

Lebih terperinci

Pengantar Matematika Diskrit

Pengantar Matematika Diskrit Pengantar Matematika Diskrit Referensi : Rinaldi Munir, Matematika Diskrit, Informatika Bandung 2005 1 Matematika Diskrit? Bagian matematika yang mengkaji objek-objek diskrit Benda disebut diskrit jika

Lebih terperinci

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

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Logika Matematik 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat deklaratif yang bernilai

Lebih terperinci

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

Matematika Komputasional. Pengantar Logika. Oleh: M. Ali Fauzi PTIIK - UB Matematika Komputasional Pengantar Logika Oleh: M. Ali Fauzi PTIIK - UB 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka

Lebih terperinci

MATEMATIKA MATEMATIK A DISKRIT : : MAT-3615/ 3 : : VI

MATEMATIKA MATEMATIK A DISKRIT : : MAT-3615/ 3 : : VI Nama Kode /SKS Program Studi Semester : : MAT-3615/ 3 sks : Pendidikan : VI (Enam) Oleh : Nego Linuhung, M.Pd Nurain Suryadinata, M.Pd Penyajian materi dalam mata kuliah ini tidak hanya berpusat pada dosen,

Lebih terperinci

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan Unit 5 PENALARAN/LOGIKA MATEMATIKA Wahyudi Pendahuluan D alam menyelesaikan permasalahan matematika, penalaran matematis sangat diperlukan. Penalaran matematika menjadi pedoman atau tuntunan sah atau tidaknya

Lebih terperinci

Pemanfaatan Prinsip Dasar Logika dan Pohon dalam Pembuatan Sistem Penghubung Fungsi Antar Perangkat Lunak pada Smartphone

Pemanfaatan Prinsip Dasar Logika dan Pohon dalam Pembuatan Sistem Penghubung Fungsi Antar Perangkat Lunak pada Smartphone Pemanfaatan Prinsip Dasar Logika dan Pohon dalam Pembuatan Sistem Penghubung Fungsi Antar Perangkat Lunak pada Smartphone Ahmad Darmawan (NIM : 13513096) Program Studi Teknik Informatika Sekolah Teknik

Lebih terperinci

PERTEMUAN 3 DASAR-DASAR LOGIKA

PERTEMUAN 3 DASAR-DASAR LOGIKA PERTEMUAN 3 DASAR-DASAR LOGIKA 1.1 PENGERTIAN UMUM LOGIKA Filsafat dan matematika adalah bidang pengetahuan rasional yang ada sejak dahulu. Jauh sebelum matematika berkembang seperti sekarang ini dan penerapannya

Lebih terperinci

Metode pembuktian untuk proposisi yang berkaitan dengan bilangan bulat adalah induksi matematik.

Metode pembuktian untuk proposisi yang berkaitan dengan bilangan bulat adalah induksi matematik. Induksi Matematika Metode pembuktian untuk proposisi yang berkaitan dengan bilangan bulat adalah induksi matematik. Contoh: 1. Buktikan bahwa jumlah n bilangan bilangan bulat positif pertama adalah n(n

Lebih terperinci

Aturan Penilaian & Grade Penilaian. Deskripsi. Matematika Diskrit 9/7/2011

Aturan Penilaian & Grade Penilaian. Deskripsi. Matematika Diskrit 9/7/2011 Matematika Diskrit Sesi 01-02 Dosen Pembina : Danang Junaedi Tujuan Instruksional Setelah proses perkuliahan, mahasiswa memiliki kemampuan Softskill Meningkatkan kerjasama dalam kelompok dan kemampuan

Lebih terperinci

Kata Pengantar... Daftar Isi... Apakah Matematika Diskrit Itu? Logika... 1

Kata Pengantar... Daftar Isi... Apakah Matematika Diskrit Itu? Logika... 1 Daftar Isi Kata Pengantar... Daftar Isi... Apakah Matematika Diskrit Itu?... iii v xi 1. Logika... 1 1.1 Proposisi... 2 1.2 Mengkombinasikan Proposisi... 4 1.3 Tabel kebenaran... 6 1.4 Disjungsi Eksklusif...

Lebih terperinci

I. LAMPIRAN TUGAS. Mata kuliah : Matematika Diskrit Program Studi : Sistem Informasi PA-31 Dosen Pengasuh : Ir. Bahder Djohan, MSc

I. LAMPIRAN TUGAS. Mata kuliah : Matematika Diskrit Program Studi : Sistem Informasi PA-31 Dosen Pengasuh : Ir. Bahder Djohan, MSc I. LAMPIRAN TUGAS. Mata kuliah : Matematika Diskrit Program Studi : Sistem Informasi PA- Dosen Pengasuh : Ir. Bahder Djohan, MSc Tugas ke Pertemuan TIK Soal-soal Tugas. Mendefinisikan Proposisi Membedakan

Lebih terperinci

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

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik

Lebih terperinci

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

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai

Lebih terperinci

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN Updated by Admin of Bahan Belajar Logika matematika merupakan salah satu materi pelajaran matematika dan cabang logika yang mengandung kajian matematis logika.

Lebih terperinci

1 INDUKSI MATEMATIKA

1 INDUKSI MATEMATIKA 1 INDUKSI MATEMATIKA Induksi Matematis Induksi matematis merupakan teknik pembuktian yang baku di dalam matematika. Melalui induksi matematis maka dapat mengurangi langkah-langkah pembuktian bahwa semua

Lebih terperinci

Selamat Datang. MA 2151 Matematika Diskrit. Semester I 2008/2009

Selamat Datang. MA 2151 Matematika Diskrit. Semester I 2008/2009 Selamat Datang di MA 2151 Matematika Diskrit Semester I 2008/2009 Hilda Assiyatun & Djoko Suprijanto 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 5 th edition. On the

Lebih terperinci

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

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat LOGIKA Tujuan umum : - Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat Tujuan Khusus: - mahasiswa diharapkan dapat : 1. memahami pengertian proposisi,

Lebih terperinci

Matematika Komputasi. Rekyan RMP

Matematika Komputasi. Rekyan RMP Matematika Komputasi Rekyan RMP Sekilas Matakuliah : Matematika Komputasi Prasyarat : - Sifat Bobot : Wajib : 4 sks Deskripsi Mata kuliah ini membahas topik yang menjadi dasarmatematika bagi mahasiswa

Lebih terperinci

Dasar Logika Matematika

Dasar Logika Matematika Dasar Logika Matematika Pertemuan 1: Brainstorming Perhatikan kedudukan himpunan titik-titik yang berderet kemudian tentukan himpunan titik-titik berikutnya sesuai dengan pola.? Pengantar Dasar Logika

Lebih terperinci

Implementasi Teori Logika dan Graf dalam Menentukan Efisiensi Rangkaian Listrik

Implementasi Teori Logika dan Graf dalam Menentukan Efisiensi Rangkaian Listrik Implementasi Teori Logika dan Graf dalam Menentukan Efisiensi Rangkaian Windy Amelia 13512091 Program Studi Teknik Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha

Lebih terperinci

Matematika Diskrit LOGIKA

Matematika Diskrit LOGIKA Matematika Diskrit LOGIKA 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat deklaratif

Lebih terperinci

Jadi penting itu baik, tapi jadi baik jauh lebih penting

Jadi penting itu baik, tapi jadi baik jauh lebih penting LOGIKA MATEMATIKA Logika Matematika - Pernyataan, Nilai Kebenaran, dan Kalimat Terbuka - Pernyataan Majemuk - Konvers, Invers, dan Kontraposisi - Kuantor Universal dan Kuantor Eksistensial - Ingkaran dari

Lebih terperinci

Logika Matematik. Saripudin, M.Pd.

Logika Matematik. Saripudin, M.Pd. Logika Matematik Saripudin, M.Pd. 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat

Lebih terperinci

PENALARAN DALAM MATEMATIKA

PENALARAN DALAM MATEMATIKA PENALARAN DALAM MATEMATIKA A. PENDAHULUAN Siswa belajar dimulai dari mengamati contoh-contoh atau fenomena Dari informasi-informasi yang diperoleh secara khusus siswa mencoba melakukan generalisasi secara

Lebih terperinci

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

Unit 6 PENALARAN MATEMATIKA. Clara Ika Sari Budhayanti. Pendahuluan. Selamat belajar, semoga Anda sukses. Unit 6 PENALARAN MATEMATIKA Clara Ika Sari Budhayanti Pendahuluan D alam menyelesaikan permasalahan matematika, penalaran matematis sangat diperlukan baik di bidang aritmatika, aljabar, geometri dan pengukuran,

Lebih terperinci

Pertemuan 2. Operator Logika Tabel Kebenaran

Pertemuan 2. Operator Logika Tabel Kebenaran Pertemuan 2 Operator Logika Tabel Kebenaran Operator Logika Dalam logika dikenal 5 buah penghubung imbol Arti entuk Tidak/Not/Negasi Tidak. Dan/And/Konjungsi..dan.. Atau/Or/Disjungsi atau. Implikasi Jika.maka.

Lebih terperinci

Mahdhivan Syafwan. PAM 123 Pengantar Matematika

Mahdhivan Syafwan. PAM 123 Pengantar Matematika Mahdhivan Syafwan PAM 123 Pengantar Matematika APAKAH LOGIKA ITU PENTING? http://hukum.kompasiana.com/2012/03/31/dpr-menunda-sementara-kenaikan-bbm-bersubsidi-451248.html Pasal 7 Ayat 6 : Harga jual eceran

Lebih terperinci

MODUL 3 OPERATOR LOGIKA

MODUL 3 OPERATOR LOGIKA STMIK STIKOM BALIKPAPAN 1 MODUL 3 OPERATOR LOGIKA 1. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN 1. Tema : Operator Logika 2. Fokus Pembahasan Materi Pokok : 1. Operator Logika Konjungsi 2. Operator Logika Disjungsi

Lebih terperinci

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

BAB 1. Logika. Benteng kehidupan yang terkuat adalah kebenaran. (Anonim) BAB 1 Logika Benteng kehidupan yang terkuat adalah kebenaran. (Anonim) Materi Matematika Diskrit di dalam buku ini dimulai dari pokok bahasan logika. Logika merupakan studi penalaran (reasoning). Dalam

Lebih terperinci

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

Matematika Diskrit. Nelly Indriani Widiastuti S.Si., M.T Prodi Teknik Informatika UNIKOM Matematika Diskrit Nelly Indriani Widiastuti S.Si., M.T Prodi Teknik Informatika UNIKOM 1 Kontrak Belajar Prasyarat : Logika Matematika & Kalkulus II Jadwal: 3 SKS: 3 jam kuliah Toleransi keterlambatan??

Lebih terperinci

PENGANTAR MATEMATIKA DISKRIT DAN HIMPUNAN PERTEMUAN I

PENGANTAR MATEMATIKA DISKRIT DAN HIMPUNAN PERTEMUAN I PENGANTAR MATEMATIKA DISKRIT DAN HIMPUNAN PERTEMUAN I oleh : Lisna Zahrotun, S.T, M.Cs lisna.zahrotun@tif.uad.ac.id lisnazahrotun.tif.uad.ac.id 1 Penilaian : 1. UTS 25% 2. UAS 30% 3. Keaktifan 4. Praktikum

Lebih terperinci

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

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8 P a g e 8 TABEL KEBENARAN A. Logika Proposisional dan Predikat Logika proposional adalah logika dasar yang harus dipahami programmer karena logika ini yang menjadi dasar dalam penentuan nilai kebenaran

Lebih terperinci

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

Modul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI. Modul ke: 5 Logika Matematika Proposisi & Kuantor Fakultas FASILKOM BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id Materi Pembelajaran Kalkulus Proposisi Konjungsi Disjungsi

Lebih terperinci

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

MateMatika Diskrit. Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T MateMatika Diskrit Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan

Lebih terperinci

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

IT105 MATEMATIKA DISKRIT. Ramos Somya, S.Kom., M.Cs. IT105 MATEMATIKA DISKRIT Ramos Somya, S.Kom., M.Cs. TUJUAN Mahasiswa Memahami dan menguasai konsep dasar logika matematika Mahasiswa mempunyai daya nalar yang semakin tajam. POKOK BAHASAN Pernyataan dan

Lebih terperinci

I. PERNYATAAN DAN NEGASINYA

I. PERNYATAAN DAN NEGASINYA 1 I. PERNYATAAN DAN NEGASINYA A. Pernyataan. Pernyataan adalah suatu kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus keduanya. Benar atau salahnya suatu pernyataan dapat ditunjukkan

Lebih terperinci

NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3)

NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3) NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3) 1 1 Kata Penghubung Kalimat 1. Konjungsi: menggunakan kata penghubung: dan 2. Disjungsi: menggunakan kata penghubung: atau 3. Implikasi: menggunakan kata

Lebih terperinci

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

KONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks KONSEP DASAR LOGIKA MATEMATIKA Riri Irawati, M.Kom Logika Matematika - 3 sks Agenda 2 Pengantar Logika Kalimat pernyataan (deklaratif) Jenis-jenis pernyataan Nilai kebenaran Variabel dan konstanta Kalimat

Lebih terperinci

A. Pengertian Logika B. Pernyataan C. Nilai Kebenaran

A. Pengertian Logika B. Pernyataan C. Nilai Kebenaran HAND OUT PERKULIAHAN Nama Mata Kuliah : Pengantar Dasar Matematika ub Materi : Pernyataan, Konjungsi, Disjungsi, Implikasi, iimplikasi Pertemuan : 1 URAIAN POKOK PERKULIAHAN LOGIKA A. Pengertian Logika

Lebih terperinci

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

Selamat datang di Perkuliahan LOGIKA MATEMATIKA Logika Matematika Teori Himpunan Teori fungsi Selamat datang di Perkuliahan LOGIKA MAEMAIKA Logika Matematika eori Himpunan eori fungsi Dosen : Dr. Julan HERNADI PUSAKA : Kenneth H Rossen, Discrete mathematics and its applications, fifth edition.

Lebih terperinci

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

Definisi : predikat (first order) adalah suatu Kata (simbol) yg jika di berikan pada kalimat terbuka, dapat berubah menjadi kalimat tertutup. LOGIKA MATEMATIKA Definisi : predikat (first order) adalah suatu Kata (simbol) yg jika di berikan pada kalimat terbuka, dapat berubah menjadi kalimat tertutup. Beberapa hal yang digunakan dalam logika

Lebih terperinci

Logika Proposisi 1: Motivasi Pohon Urai (Parse Tree)

Logika Proposisi 1: Motivasi Pohon Urai (Parse Tree) Logika Proposisi 1: Motivasi Pohon Urai (Parse Tree) Kuliah Logika Matematika Semester Ganjil 2015-2016 MZI Fakultas Informatika Telkom University FIF Tel-U Agustus 2015 MZI (FIF Tel-U) Logika Proposisi

Lebih terperinci

Matematika Industri I

Matematika Industri I LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai

Lebih terperinci

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG LOGIKA MATEMATIKA A. PERNYATAAN DAN KALIMAT TERBUKA Kalimat terbuka adalah kalimat yang belum dapat ditentukan nilai kebenarannya (benar dan salah). 1. Gadis itu cantik. 2. Bersihkan lantai itu. 3. Pernyataan/kalimat

Lebih terperinci

SILABUS MATA KULIAH MATEMATIKA DISKRIT

SILABUS MATA KULIAH MATEMATIKA DISKRIT Kode Formulir : FM-STMIK MDP-KUL-04.02/R3 SILABUS MATA KULIAH MATEMATIKA DISKRIT A. IDENTITAS MATA KULIAH Program Studi : Sistem Informasi Mata Kuliah : Matematika Diskrit Kode : SP 245 Bobot : 4 (empat)

Lebih terperinci

LOGIKA MATEMATIKA I. PENDAHULUAN

LOGIKA MATEMATIKA I. PENDAHULUAN LOGIKA MATEMATIKA I. PENDAHULUAN Logika adalah dasar dan alat berpikir yang logis dalam matematika dan pelajaran-pelajaran lainnya, sehingga dapat membantu dan memberikan bekal tambahan untuk menyampaikan

Lebih terperinci

Blaise Pascal logika pernyataan atau proposisi logika penghubung atau predikat

Blaise Pascal logika pernyataan atau proposisi logika penghubung atau predikat Logika Matematika Dalam setiap kegiatan kita dituntut untuk mempunyai pola pikir yang tepat, akurat, rasional dan kritis agar tidak salah dalam penalaran yang menyebabkan kesalahan dalam mengambil kebijakan.

Lebih terperinci

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

ARGUMENTASI. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. ARGUMENTASI Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 1 + 2 = 3 b. Kuala

Lebih terperinci

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

Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs. Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs. 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak akan sulit belajar Bahasa Java. Jika

Lebih terperinci

MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC

MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA Nama : NURHIDAYAT NIM : DC 113 055 JURUAN TEKNIK INFORMATIKA FAKULTA TEKNIK UNIVERITA PALANGKA RAYA 2013 A I PENGERTIAN Logika adalah dasar dan alat berpikir

Lebih terperinci

PENDAHULUAN INDUKSI MATEMATIKA Di dalam Matematika, sebuah pernyataan atau argumen dan bahkan sebuah rumus sekalipun tidak hanya sekedar dibaca.

PENDAHULUAN INDUKSI MATEMATIKA Di dalam Matematika, sebuah pernyataan atau argumen dan bahkan sebuah rumus sekalipun tidak hanya sekedar dibaca. PENDAHULUAN INDUKSI MATEMATIKA Di dalam Matematika, sebuah pernyataan atau argumen dan bahkan sebuah rumus sekalipun tidak hanya sekedar dibaca. Karena hampir semua rumus dan hukum yang berlaku tidak tercipta

Lebih terperinci

: SRI ESTI TRISNO SAMI

: SRI ESTI TRISNO SAMI MATEMATIKA DISKRIT By : SRI ESTI TRISNO SAMI 082334051324 Bahan Bacaan / Refferensi : 1. Seymour Lipschutz dan Marc Lars Lipson, Matematika Diskkrit Shcaum s Outline Series, Mc Graw-Hill Book Company,

Lebih terperinci

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

DE-ALGEBRAS, E-LOGIC DAN E-SET THEORY. Denik Agustito DE-ALGEBRAS, E-LOGIC DAN E-SE HEORY Denik Agustito Pendidikan Matematika, Universitas Sarjanawiyata amansiswa Email: denikagustito@yahoocoid ABSRAK Dalam logika biasa, disjungsi yang digunakan dalam beberapa

Lebih terperinci

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran BAB 4 PROPOSISI 1. Pernyataan dan Nilai Kebenaran Ilmu logika adalah berhubungan dengan kalimat-kalimat (argumen-argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah memberikan

Lebih terperinci

: SRI ESTI TRISNO SAMI

: SRI ESTI TRISNO SAMI MATEMATIKA DISKRIT By : SRI ESTI TRISNO SAMI 08125218506 / 082334051324 Bahan Bacaan / Refferensi : 1. Seymour Lipschutz dan Marc Lars Lipson, Matematika Diskkrit Shcaum s Outline Series, Mc Graw-Hill

Lebih terperinci

Selamat Datang. MA 2151 Matematika Diskrit. Semester I, 2012/2013. Rinovia Simanjuntak & Edy Tri Baskoro

Selamat Datang. MA 2151 Matematika Diskrit. Semester I, 2012/2013. Rinovia Simanjuntak & Edy Tri Baskoro Selamat Datang di MA 2151 Matematika Diskrit Semester I, 2012/2013 Rinovia Simanjuntak & Edy Tri Baskoro 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 7 th edition, 2007.

Lebih terperinci

LOGIKA Matematika Industri I

LOGIKA Matematika Industri I LOGIKA TIP FTP UB Pokok Bahasan Pengertian Logika Pernyataan Matematika Nilai Kebenaran Operasi Uner Operasi Biner Tabel kebenaran Pernyataan Tautologi, Kontradiksi dan Kontingen Pernyataan-pernyataan

Lebih terperinci

BAB I PENDAHULUAN. Kata topologi berasal dari bahasa yunani yaitu topos yang artinya tempat

BAB I PENDAHULUAN. Kata topologi berasal dari bahasa yunani yaitu topos yang artinya tempat 1 BAB I PENDAHULUAN 1.1. Latar Belakang Masalah Kata topologi berasal dari bahasa yunani yaitu topos yang artinya tempat dan logos yang artinya ilmu merupakan cabang matematika yang bersangkutan dengan

Lebih terperinci

Logika Matematika. Cece Kustiawan, FPMIPA, UPI

Logika Matematika. Cece Kustiawan, FPMIPA, UPI Logika Matematika 1. Pengertian Logika 2. Pernyataan Matematika 3. Nilai Kebenaran 4. Operasi Uner 5. Operasi Biner 6. Tabel kebenaran Pernyataan 7. Tautologi, Kontradiksi dan Kontingen 8. Pernyataan-pernyataan

Lebih terperinci

MATEMATIKA DISKRIT RELASI

MATEMATIKA DISKRIT RELASI MATEMATIKA DISKRIT RELASI Relasi Relasi biner R antara himpunan A dan B adalah himpunan bagian dari A B. Notasi: R (A B). a R b adalah notasi untuk (a, b) R, yang artinya a dihubungankan dengan b oleh

Lebih terperinci

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

LOGIKA SIMBOLIK. Bagian II. September 2005 Pengantar Dasar Matematika 1 LOGIKA IMOLIK agian II eptember 2005 Pengantar Dasar Matematika 1 LOGIKA Realitas Kalimat/ Pernyataan Logis LOGIKA eptember 2005 Pengantar Dasar Matematika 2 Apakah logika itu? Logika: Ilmu untuk berpikir

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Pengetahuan adalah fakta yang timbul karena keadaan (Sutojo, 2011) Contoh : Pengetahuan tentang penyakit, gejala-gejala dan pengobatannya. Pengetahuan tentang tanaman, jenis-jenis

Lebih terperinci

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1 2. ALJABAR LOGIKA 2.1 Pernyataan / Proposisi Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah), tetapi tidak keduanya. Contoh 1 : P = Tadi malam BBM mulai naik (memiliki

Lebih terperinci

Program Studi Teknik Informatika STMIK Tasikmalaya

Program Studi Teknik Informatika STMIK Tasikmalaya Materi Kuliah Logika Matematika Oleh: Dadang Mulyana Program Studi Teknik Informatika STMIK Tasikmalaya 1 Info Dosen Nama : Dadang Mulyana Alamat : Ciamis HP. :- E-mail tugas : dadangstmik@gmail.com Web

Lebih terperinci

BAB III DASAR DASAR LOGIKA

BAB III DASAR DASAR LOGIKA BAB III DASAR DASAR LOGIKA 1. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 2

Lebih terperinci

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

Struktur Diskrit. Catatan kuliah Struktur Diskrit Program Ilmu Komputer. disusun oleh Yusuf Hartono Fitri Maya Puspita Struktur Diskrit Catatan kuliah Struktur Diskrit Program Ilmu Komputer disusun oleh Yusuf Hartono Fitri Maya Puspita UNIVERSITAS SRIWIJAYA 2006 Kata Pengantar Buku ini adalah versi pertama dari catatan

Lebih terperinci

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

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 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

Lebih terperinci