METODA PEMBUKTIAN DALAM MATEMATIKA

Ukuran: px
Mulai penontonan dengan halaman:

Download "METODA PEMBUKTIAN DALAM MATEMATIKA"

Transkripsi

1 METODA PEMBUKTIAN DALAM MATEMATIKA Dr. Julan HERNADI & Uki Suhendar, S.Pd (Asrul dan Enggar) Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 8 FONDASI MATEMATIKA

2 Matematika Bukan Sekedar Angka Persepsi bahwa matematika identik dengan angka-angka dan operasi hitung (tambah, kali, bagi,kurang, pangkat, dll) tidak selamanya benar. Matematika berhubungan juga dengan penalaran karena matematika matematika merupakan hasil abstraksi (pemikiran) manusia terhadap objek-objek sekitar. Produk utama matematika berupa pernyataan-pernyataan berupa denisi, teorema, akibat, keonjektur, dll. Angka dan operasi aritmatika yang menyertainya merupakan produk turunan matematika. Matematika sebagai ilmu dasar (basic science): teori-teori yang ada di dalam matematika digunakan sebagai landasan untuk pengembangan ilmu terapan dan teknologi. Kebenaran pernyataan dalam matematika perlu dibuktikan.

3 Pernyataan Dalam Matematika dan Pembuktiannya Denisi adalah kesepakatan bersama mengenai pengertian atau batasan suatu istilah. Misalnya bilangan prima adalah bilangan lebih besar dari 1 yang tidak mempunyai faktor selain dari 1 dan dirinya sendiri. Teorema adalah pernyataan yang kebenarannya dapat dibuktikan. Teorema dapat berupa kalimat berkuantor yang memuat konektivitas dengan satu atau beberapa premis dan satu konklusi. Teorema Pythagoras: Jika ABC segitiga siku-siku dengan sudut siku-siku di B maka berlaku AB 2 + BC 2 = AC 2. Proposisi merupakan teorema kecil dimana tingkat signikansinya lebih rendah dari Teorema. Contoh: perkalian antara dua bilangan ganjil menghasilkan sebuah bilangan ganjil. Fakta kadang digunakan untuk menyatakan Teorema atau Proposisi tetapi kebenarannya dapat dipahami langsung dan mudah. Contoh: 2 adalah satu-satunya bilangan genap yang sekaligus prima. Pembuktian (proof ) adalah serangkaian argumen logis yang menjelaskan kebenaran suatu pernyataan.

4 Lanjutan jenis pernyataan Aksioma atau postulat adalah pernyataan yang menjadi asumsi dasar dalam penyusunan suatu konsep dalam matematika. Aksioma biasa digunakan untuk membangun denisi, atau untuk membuktikan Teorema. Contoh: melalui dua titik berlainan dapat dibuat sebuah garis. Lemma adalah teorema kecil yang biasanya digunakan untuk membuktikan Teorema. Akibat (collorary) merupakan fakta yang diturunkan langsung dari Teorema dimana kebenarannya dapat dibuktikan dari Teorema langsung. Contoh: jika salah satu sisi pada segitiga siku-siku adalah ganjil maka terdapat satu lagi sisinya yang juga ganjil. (Akibat dari teorema Pythagoras). Konjektur adalah pernyataan yang diduga benar berdasarkan data empiris (evidence), argumen heuristik, atau intuisi para ahli; tetapi belum berdasarkan argumen valid. Bila konjektur dapat dibuktikan dengan argmen yang valid maka ia berubah menjadi Teorema atau proposisi. Kelompok pernyataan dan urgensi pembuktiannya Pernyataan yang harus dibuktikan: Teorema, Proposisi, Fakta, Lemma, Akibat. Pernyataan yang tidak perlu dibuktikan: Denisi, Aksioma/Postulat. Pernyataan yang dianjurkan untuk dibuktikan: Konjektur.

5 Pola Berpikir Dalam Matematika It is with logic that one proves, it is with intuition that one invents" (Henri Poincaré). Matematika sebagai ilmu pengetahuan dengan penalaran deduktif mengandalkan logika dalam meyakinkan akan kebenaran suatu pernyataan. Proses penemuan dalam matematika: pencarian pola dan struktur, contoh kasus dan objek matematika lainnya. melalui semua informasi dan fakta yang terkumpul disusun suatu konjektur. Konjektur dibuktikan kebenarannya, dihasilkan sebuah teorema. Dua macam cara berpikir: logically thinking dan algorithm thinking

6 Mengapa Perlu Membuktian Motivasi mengapa orang perlu membuktikan teorema (Making mathematics, To establish a fact with certainty To gain understanding To communicate an idea to others Tor the challenge to feel the real beauty of mathematics To construct a large mathematical theory Penelitian matematika pada level lanjutan menuntut dihasilkannya suatu teorema baru yang buktinya dapat diuji oleh orang lain. Motto PERUM Pegadaian "mengatasi masalah tanpa masalah", Motto PENELITIAN MATEMATIKA "memecahkan masalah, menimbulkan masalah baru". Masalah dalam matematika tidak bermakna negatif, tapi malah menambah kaya ilmu matematika itu sendiri. Matematika bekembang dari dua arah: internal dan eksternal (adanya tuntutan ilmu terapan yang membutuhkan matematika).

7 Pembuktian Pernyataan Berbentuk Implikasi p q 1 Bukti langsung: membuktikan kebenaran proposisi/teorema yang berbentuk implikasi p q, berangkat dari asumsi p benar dan ditunjukkan q benar. Contoh: Buktikan kebenaran jika x bilangan ganjil maka x 2 ganjil. 2 Bukti taklangsung: membuktikan kebenaran suatu implikasi p q melaui kontraposisinya q p. Contoh: Buktikan, jika x 2 bilangan ganjil maka x bilangan ganjil. 3 Bukti kosong: membuktikan kebenaran suatu implikasi p q dengan cara membuktikan bahwa p salah. Contoh: Diberikan denisi: himpunan A dikatakan bagian dari himpunan B, ditulis A B jika kondisi berikut dipenuhi: x A x B. Buktikan: adalah himpunan bagian dari semua himpunan. 4 Bukti trivial: membuktikan kebenaran suatu implikasi p q dengan cara membuktikan bahwa q benar. Contoh: Buktikan kebenaran Jika pinguin dapat terbang maka = 5.

8 Pembuktian dengan Kontradiksi Prosedur: 1 Identikasilah konklusi sebuah proposisi. 2 Andaikan konklusi tersebut salah. 3 Temukan kontradiksi. 4 Simpulkan bahwa pengandaian salah. 5 Proposisi terbukti. Example Buktikan bahwa 2 adalah bilangan irrasional. Proof. Kesimpulannya: 2 bil irrasional. Andai 2 rasional. Gunakan denisi bil rasional, dan seterusnya. Pada perjalanan temukan kontradiksi, yaitu dua pernyataan yang saling bertentangan. Simpulkan.

9 Pembuktian dengan Contoh Pengingkar Untuk membuktikan ketidakbenaran sebuah pernyataan, umumnya masih berupa konjektur. Ditunjukkan sebuah contoh yang membuat pernyataan tersebut tidak benar. Example Bilangan berpola F n := 2 2n + 1, n 0 merupakan bilangan prima. Proof. F 0 = = 2 benar prima, F 1 = = 5 benar prima, F 2 = = 17 prima, F 3 = = 257 prima, F 4 = = juga prima. Perhatikan F 5 = 2 32 = = bukan prima. Kesimpulan: pernyataan ini adalah salah dengan contoh pengingkar F 5. Masih ada bukti eksistensi dan ketunggalan, bukti dua arah (biimplikasi), bukti ekuivalensi multiarah, dan metoda Induksi Matematika. Dilanjutkan pada perkuliahan berikutnya.

10 TUGAS Tugas Mandiri: pahami materi ini dengan baik, kemudian buat catatan kuliah yang bagus yang menunjukkan bahwa Anda paham dengan materi ini. Gambungkan dengan catatan kuliah sebelumnya. Dua pekan mendatang catatan kuliah harus dikumpul untuk dinilai, sebagai komponen keaktifan (10%). Tugas Terstruktur: akan digabung pekan depan.

METODA PEMBUKTIAN DALAM MATEMATIKA

METODA PEMBUKTIAN DALAM MATEMATIKA METODA PEMBUKTIAN DALAM MATEMATIKA Dr. Julan HERNADI & Uki Suhendar, S.Pd (Asrul dan Enggar) Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 8 FONDASI MATEMATIKA Matematika Bukan Sekedar

Lebih terperinci

METODA PEMBUKTIAN DALAM MATEMATIKA

METODA PEMBUKTIAN DALAM MATEMATIKA 1 1 Program Studi Pend Matematika FKIP UM Ponorogo October 29, 2011 Jenis Pernyataan dalam Matematika Denisi (Denition) Kesepakatan mengenai pegertian suatu istilah. Teorema (Theorem) Pernyataan yang dapat

Lebih terperinci

METODA PEMBUKTIAN DALAM MATEMATIKA

METODA PEMBUKTIAN DALAM MATEMATIKA 1 1 Program Studi Pend Matematika FKIP UM Ponorogo January 12, 2011 Jenis Pernyataan dalam Matematika Denisi (Denition) Kesepakatan mengenai pegertian suatu istilah. Teorema (Theorem) Pernyataan yang dapat

Lebih terperinci

METODA PEMBUKTIAN DALAM MATEMATIKA

METODA PEMBUKTIAN DALAM MATEMATIKA METODA PEMBUKTIAN DALAM MATEMATIKA Dr. Julan Hernadi julan hernadi@yahoo.com ABSTRAK Di dalam matematika, bukti adalah serangkaian argumen logis yang menjelaskan kebenaran suatu pernyataan. Argumen-argumen

Lebih terperinci

1.6 RULES OF INFERENCE

1.6 RULES OF INFERENCE 1.6 RULES OF INFERENCE 1 Argumen Argumen dalam logika adalah kumpulan sejumlah proposisi. Seluruh proposisi dalam suatu argumen, kecuali proposisi terakhir, disebut premis. Sedangkan proposisi terakhir

Lebih terperinci

INTERSECTIONS JOURNAL

INTERSECTIONS JOURNAL INTERSECTIONS JOURNAL Jurnal Pendidikan Matematika dan Matematika Fakultas Keguruan dan Ilmu Pendidikan Universitas Cokroaminoto Yogyakarta Volume 1 September 2017 ISSN : - Diterbitkan Oleh : Fakultas

Lebih terperinci

KALIMAT MAJEMUK DAN KONEKTIVITAS

KALIMAT MAJEMUK DAN KONEKTIVITAS KALIMAT MAJEMUK DAN KONEKTIVITAS Dosen & Asisten Dr. Julan HERNADI & (Asrul dan Enggar) Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 2 FONDASI MATEMATIKA DEFINISI DAN MACAM KONEKTIVITAS

Lebih terperinci

MA2111 PENGANTAR MATEMATIKA Semester I, Tahun 2015/2016. Hendra Gunawan

MA2111 PENGANTAR MATEMATIKA Semester I, Tahun 2015/2016. Hendra Gunawan MA2111 PENGANTAR MATEMATIKA Semester I, Tahun 2015/2016 Hendra Gunawan 3 DEFINISI DAN PERISTILAHAN MATEMATIKA (c) Hendra Gunawan (2015) 2 Ingat PROPOSISI Ini? Proposisi. Jika segitiga siku-siku XYZ dengan

Lebih terperinci

1 SISTEM BILANGAN REAL

1 SISTEM BILANGAN REAL Bilangan real sudah dikenal dengan baik sejak masih di sekolah menengah, bahkan sejak dari sekolah dasar. Namun untuk memulai mempelajari materi pada BAB ini anggaplah diri kita belum tahu apa-apa tentang

Lebih terperinci

Rohmah, Analisis Kesalahan Mahasiswa Dalam Menyelesaikan Soal Pembuktian

Rohmah, Analisis Kesalahan Mahasiswa Dalam Menyelesaikan Soal Pembuktian 1 Analisis Kesalahan Mahasiswa dalam Menyelesaikan Soal Pembuktian Berdasarkan Newman s Error Analysis (NEA) Rohmah Indahwati Email: indbeckzbecky@gmail.com Program Studi Pendidikan Matematika FKIP Universitas

Lebih terperinci

1.6 RULES OF INFERENCE

1.6 RULES OF INFERENCE 1.6 RULES OF INFERENCE 1 Argumen Argumen dalam logika adalah kumpulan sejumlah proposisi. Seluruh proposisi dalam suatu argumen, kecuali proposisi terakhir, disebut premis. Sedangkan proposisi terakhir

Lebih terperinci

1 SISTEM BILANGAN REAL

1 SISTEM BILANGAN REAL Bilangan real sudah dikenal dengan baik sejak masih di sekolah menengah, bahkan sejak dari sekolah dasar. Namun untuk memulai mempelajari materi pada BAB ini anggaplah diri kita belum tahu apa-apa tentang

Lebih terperinci

PEMBUKTIAN, PENALARAN, DAN KOMUNIKASI MATEMATIK. OLEH: DADANG JUANDI JurDikMat FPMIPA UPI 2008

PEMBUKTIAN, PENALARAN, DAN KOMUNIKASI MATEMATIK. OLEH: DADANG JUANDI JurDikMat FPMIPA UPI 2008 PEMBUKTIAN, PENALARAN, DAN KOMUNIKASI MATEMATIK OLEH: DADANG JUANDI JurDikMat FPMIPA UPI 2008 PEMBUKTIAN DALAM MATEMATIKA Bukti menurut Educational Development Center (2003) adalah suatu argumentasi logis

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

SISTEM BILANGAN REAL

SISTEM BILANGAN REAL DAFTAR ISI 1 SISTEM BILANGAN REAL 1 1.1 Sifat Aljabar Bilangan Real..................... 1 1.2 Sifat Urutan Bilangan Real..................... 6 1.3 Nilai Mutlak dan Jarak Pada Bilangan Real............

Lebih terperinci

1 SISTEM BILANGAN REAL

1 SISTEM BILANGAN REAL Pertemuan Standar kompetensi: mahasiswa memahami cara membangun sistem bilangan real, aturan dan sifat-sifat dasarnya. Kompetensi dasar Memahami aksioma atau sifat aljabar bilangan real Memahami fakta-fakta

Lebih terperinci

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

EKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 3 FONDASI MATEMATIKA Variasi bentuk implikasi Berangkat dari implikasi p q kita dapat membentuk tiga pernyataan implikasi relevan yang

Lebih terperinci

PEMBAHASAN. Teorema 1. Tidak ada bilangan asli N yang lebih besar dari semua bilangan bulat lainnya.

PEMBAHASAN. Teorema 1. Tidak ada bilangan asli N yang lebih besar dari semua bilangan bulat lainnya. PEMAHAAN 1. Pengertian Kontradiksi Kontradiksi adalah dua pernyataan yang bernilai salah untuk setiap nilai kebenaran dari setiap komponen-komponennya. 2. Pembuktian dengan Kontradiksi Kontradiksi merupakan

Lebih terperinci

1 SISTEM BILANGAN REAL

1 SISTEM BILANGAN REAL 1 SISTEM BILANGAN REAL Bilangan real sudah dikenal dengan baik sejak masih di sekolah menengah, bahkan sejak dari sekolah dasar. Namun untuk memulai mempelajari materi pada BAB ini anggaplah diri kita

Lebih terperinci

FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika. Julan HERNADI

FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika. Julan HERNADI FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika Julan HERNADI FONDASI MATEMATKA Julan HERNADI October 2, 2011 BUKU TEKS WAJIB Pada Program Studi Pendidikan Matematika FKIP UNMUH PONOROGO DAFTAR

Lebih terperinci

Keterbagian Pada Bilangan Bulat

Keterbagian Pada Bilangan Bulat Latest Update: March 8, 2017 Pengantar Teori Bilangan (Bagian 1): Keterbagian Pada Bilangan Bulat Muhamad Zaki Riyanto Program Studi Matematika Fakultas Sains dan Teknologi UIN Sunan Kalijaga Yogyakarta

Lebih terperinci

MA5031 Analisis Real Lanjut Semester I, Tahun 2015/2016. Hendra Gunawan

MA5031 Analisis Real Lanjut Semester I, Tahun 2015/2016. Hendra Gunawan MA5031 Analisis Real Lanjut Semester I, Tahun 2015/2016 Hendra Gunawan Matematika & Analisis Real Matematika berurusan dengan gagasan, yang mungkin merupakan abstraksi atau sari dari sesuatu yang terdapat

Lebih terperinci

EKSKLUSIF OR (XOR) DEFINISI

EKSKLUSIF OR (XOR) DEFINISI Logika Matematik EKSKLUSIF OR (XOR) DEFINISI : Misalkan p dan q adalah proposisi. Proposisi salah satu p atau q ditulis p q adalah proposisi yang bernilai benar jika tepat satu diantara p atau q BENAR,

Lebih terperinci

Lembar Kerja Mahasiswa 1: Teori Bilangan

Lembar Kerja Mahasiswa 1: Teori Bilangan Lembar Kerja Mahasiswa 1: Teori Bilangan N a m a : NIM/Kelas : Waktu Kuliah : Kompetensi Dasar dan Indikator: 1. Memahami pengertian faktor dan kelipatan bilangan bulat. a) Menuliskan denisi faktor suatu

Lebih terperinci

PENALARAN INDUKTIF DAN DEDUKTIF

PENALARAN INDUKTIF DAN DEDUKTIF Unit 6 PENALARAN INDUKTIF DAN DEDUKTIF Wahyudi Pendahuluan U nit ini membahas tentang penalaran induktif dan deduktif yang berisi penarikan kesimpulan dan penalaran indukti deduktif. Dalam penalaran induktif

Lebih terperinci

FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika. Julan HERNADI

FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika. Julan HERNADI FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika Julan HERNADI FONDASI MATEMATKA Julan HERNADI October 10, 2011 BUKU TEKS WAJIB Pada Program Studi Pendidikan Matematika FKIP UNMUH PONOROGO DAFTAR

Lebih terperinci

LOGIKA MATEMATIKA (Pendalaman Materi SMA)

LOGIKA MATEMATIKA (Pendalaman Materi SMA) LOGIKA MATEMATIKA (Pendalaman Materi SMA) Disampaikan Pada MGMP Matematika SMA Provinsi Bengkulu Tahun Ajaran 2007/2008 Oleh: Supama Widyaiswara LPMP Bengkulu DEPARTEMEN PENDIDIKAN NASIONAL DIREKTORAT

Lebih terperinci

Pembuktian Tidak Langsung

Pembuktian Tidak Langsung Pembuktian Tidak Langsung Fadjar Shadiq, M.App.Sc (fadjar_p3g@yahoo.com & www.fadjarp3g.wordpress.com) Bukti (proof) adalah argumen dari suatu premis ke suatu kesimpulan yang dapat meyakinkan orang lain

Lebih terperinci

BAB I PENDAHULAN. formal dan logis yang dimulai dengan aksioma dan bergerak maju melalui. langkah-langkah logis sampai pada suatu kesimpulan.

BAB I PENDAHULAN. formal dan logis yang dimulai dengan aksioma dan bergerak maju melalui. langkah-langkah logis sampai pada suatu kesimpulan. BAB I PENDAHULAN A. Latar Belakang Seorang matematikawan tidak akan mempercayai apapun tanpa ada bukti, sementara fisikawan akan mempercayai segalanya sebelum dibuktikan salah. 1 Ungkapan tersebut menggambarkan

Lebih terperinci

Drs. Slamin, M.Comp.Sc., Ph.D. Program Studi Sistem Informasi Universitas Jember

Drs. Slamin, M.Comp.Sc., Ph.D. Program Studi Sistem Informasi Universitas Jember Penalaran Dalam Matematika Drs. Slamin, M.Comp.Sc., Ph.D Program Studi Sistem Informasi Universitas Jember Outline Berpikir Kritis 1 p 2 Penalaran Induktif 3 Bekerja dengan Pola Pola Bilangan Pola Geometri

Lebih terperinci

Sistem Bilangan Real

Sistem Bilangan Real TUGAS I ANALISIS REAL I Sistem Bilangan Real Tugas 1 Analisis Real I Disusun oleh : Nariswari Setya D. Kartini Marvina Puspito M0108022 M0108050 M0108056 JURUSAN MATEMATIKA FAKULTAS MATEMATIKA DAN ILMU

Lebih terperinci

Contoh-contoh soal induksi matematika

Contoh-contoh soal induksi matematika Contoh-contoh soal induksi matematika Buktikan bahwa 2 n > n + 20 untuk setiap bilangan bulat n 5. (i) Basis induksi : Untuk n = 5, kita peroleh 2 5 > 5 + 20 adalah suatu pernyataan yang benar. (ii) Langkah

Lebih terperinci

DASAR-DASAR MATEMATIKA

DASAR-DASAR MATEMATIKA DASAR-DASAR MATEMATIKA Manfaat Matematika Pengertian Karakteristik Matematika Perbedaan matematika dan Pendidikan Matematika Refleksi Pengantar Dasar Matematika 1 MANFAAT MEMPELAJARI MATEMATIKA PERDAGANGAN

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

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

BAB IV PENALARAN MATEMATIKA

BAB IV PENALARAN MATEMATIKA BAB IV PENALARAN MATEMATIKA A. Pendahuluan Materi penalaran matematika merupakan dasar untuk mempelajari materimateri logika matematika lebih lanjut. Logika tidak dapat dilepaskan dengan penalaran, karena

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

Teori Dasar Himpunan. Julan HERNADI. December 27, Program Studi Pendidikan Matematika Universitas Muhammadiyah, Ponorogo

Teori Dasar Himpunan. Julan HERNADI. December 27, Program Studi Pendidikan Matematika Universitas Muhammadiyah, Ponorogo 1 Program Studi Pendidikan Matematika Universitas Muhammadiyah, Ponorogo December 27, 2012 PENGERTIAN DASAR Denition Himpunan merupakan koleksi objek-objek yang disebut anggota atau elemen himpunan tersebut.

Lebih terperinci

II. SISTEM BILANGAN RIIL. Handout Analisis Riil I (PAM 351)

II. SISTEM BILANGAN RIIL. Handout Analisis Riil I (PAM 351) II. SISTEM BILANGAN RIIL Handout Analisis Riil I (PAM 351) Sifat Aljabar (Aksioma Lapangan) dari Bilangan Riil Bagian ini akan membicarakan struktur aljabar bilangan riil dengan terlebih dahulu memberikan

Lebih terperinci

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

Logika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Matematika Kalimat Terbuka dan Tertutup Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Semoga kamu

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

FONDASI MATEMATIKA. Julan HERNADI. December 13, 2011 BUKU TEKS WAJIB. (Dasar berpikir deduktif dalam matematika)

FONDASI MATEMATIKA. Julan HERNADI. December 13, 2011 BUKU TEKS WAJIB. (Dasar berpikir deduktif dalam matematika) FONDASI MATEMATIKA (Dasar berpikir deduktif dalam matematika) Julan HERNADI December 13, 2011 BUKU TEKS WAJIB DAFTAR ISI 1 PROPOSISI DAN KONEKTIVITAS 1 1.1 Proposisi dan nilai kebenaran......................

Lebih terperinci

FONDASI MATEMATKA. Julan HERNADI. October 15, BUKU TEKS WAJIB Pada Program Studi Pendidikan Matematika FKIP UNMUH PONOROGO

FONDASI MATEMATKA. Julan HERNADI. October 15, BUKU TEKS WAJIB Pada Program Studi Pendidikan Matematika FKIP UNMUH PONOROGO FONDASI MATEMATKA Julan HERNADI October 15, 2011 BUKU TEKS WAJIB Pada Program Studi Pendidikan Matematika FKIP UNMUH PONOROGO DAFTAR ISI 1 PROPOSISI DAN KONEKTIVITAS 1 1.1 Proposisi dan nilai kebenaran......................

Lebih terperinci

BAB I NOTASI, KONJEKTUR, DAN PRINSIP

BAB I NOTASI, KONJEKTUR, DAN PRINSIP BAB I NOTASI, KONJEKTUR, DAN PRINSIP Kompetensi yang akan dicapai setelah mempelajari bab ini adalah sebagai berikut. (1) Dapat memberikan sepuluh contoh notasi dalam teori bilangan dan menjelaskan masing-masing

Lebih terperinci

TEKNIK BUKTI: I Drs. C. Jacob, M.Pd

TEKNIK BUKTI: I Drs. C. Jacob, M.Pd TEKNIK BUKTI: I Drs C Jacob, MPd Email: cjacob@upiedu Dalam dua bagian pertama kita memperkenalkan suatu kata-kata sukar logika dan matematika Tujuannya adalah tentu, agar mampu untuk membaca dan menulis

Lebih terperinci

KRITERIA KETUNTASAN MINIMAL ( KKM ) MATA PELAJARAN MATEMATIKA KELAS X ( 1 ) SEMESTER I

KRITERIA KETUNTASAN MINIMAL ( KKM ) MATA PELAJARAN MATEMATIKA KELAS X ( 1 ) SEMESTER I KRITERIA KETUNTASAN MINIMAL ( KKM ) MATA PELAJARAN MATEMATIKA KELAS X ( 1 ) SEMESTER I KRITERIA KETUNTASAN MINIMAL ( KKM ) MATA PELAJARAN: MATEMATIKA Sekolah : SMA/MA... Kelas : X Semester : I (SATU) KKM

Lebih terperinci

SOLUSI OSN MATEMATIKA SMP TINGKAT PROPINSI TAHUN 2004

SOLUSI OSN MATEMATIKA SMP TINGKAT PROPINSI TAHUN 2004 SOLUSI OSN MATEMATIKA SMP TINGKAT PROPINSI TAHUN 004 A. ISIAN SINGKAT. Setiap muka sebuah kubus diberi bilangan seperti pada gambar. Kemudian setiap titik sudut diberi bilangan yang merupakan hasil penjumlahan

Lebih terperinci

MA2111 PENGANTAR MATEMATIKA Semester I, Tahun 2015/2016. Hendra Gunawan

MA2111 PENGANTAR MATEMATIKA Semester I, Tahun 2015/2016. Hendra Gunawan MA2111 PENGANTAR MATEMATIKA Semester I, Tahun 2015/2016 Hendra Gunawan 9-10 METODE KONTRADIKSI & METODE KONTRAPOSISI (c) Hendra Gunawan (2015) 2 Metode Pembuktian Lainnya Pada bab-bab sebelumnya kita telah

Lebih terperinci

DEDUKSI ATAU PENALARAN DEDUKTIF: KELEBIHAN DAN KEKURANGANNYA. Fadjar Shadiq

DEDUKSI ATAU PENALARAN DEDUKTIF: KELEBIHAN DAN KEKURANGANNYA. Fadjar Shadiq DEDUKSI ATAU PENALARAN DEDUKTIF: KELEBIHAN DAN KEKURANGANNYA Fadjar Shadiq Salah satu hal yang membedakan manusia dari binatang adalah manusia dikaruniai Allah S.W.T. dengan akal yang paling sempurna (QS

Lebih terperinci

Logika Pembuktian. Matematika Informatika 3 Onggo

Logika Pembuktian. Matematika Informatika 3 Onggo Logika Pembuktian Matematika Informatika 3 Onggo Wr @OnggoWr Metode Pembuktian 1. Metode Pembuktian Langsung (Direct Proof) 2. Metode Pembuktian Tak-Langsung (Indirect Proof) a. Proof by Contrapositive

Lebih terperinci

TEKNIK PEMBUKTIAN. (Yus Mochamad Cholily)

TEKNIK PEMBUKTIAN. (Yus Mochamad Cholily) TEKNIK PEMBUKTIAN (Yus Mochamad Cholily) Pembuktian merupakan aktifitas yang tidak bisa dipisahkan dengan Matematika. Hal ini disebabkan produk matematika pada umumnya berbentuk teorema yang harus dibuktikan

Lebih terperinci

MA3231. Pengantar Analisis Real. Hendra Gunawan, Ph.D. Semester II, Tahun

MA3231. Pengantar Analisis Real. Hendra Gunawan, Ph.D. Semester II, Tahun MA3231 Pengantar Analisis Real Semester II, Tahun 2016-2017 Hendra Gunawan, Ph.D. Tentang Mata Kuliah MA3231 Mata kuliah ini merupakan mata kuliah wajib bagi mahasiswa program studi S1 Matematika, dengan

Lebih terperinci

CHAPTER 5 INDUCTION AND RECURSION

CHAPTER 5 INDUCTION AND RECURSION CHAPTER 5 INDUCTION AND RECURSION 5.1 MATHEMATICAL INDUCTION Jumlah n Bilangan Ganjil Positif 1 = 1 1 + 3 = 4 1 + 3 + 5 = 9 1 + 3 + 5 + 7 = 16 1 + 3 + 5 + 7 + 9 = 25 Tebakan: Jumlah dari n bilangan ganjil

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

2 BILANGAN PRIMA. 2.1 Teorema Fundamental Aritmatika

2 BILANGAN PRIMA. 2.1 Teorema Fundamental Aritmatika Bilangan prima telah dikenal sejak sekolah dasar, yaitu bilangan yang tidak mempunyai faktor selain dari 1 dan dirinya sendiri. Bilangan prima memegang peranan penting karena pada dasarnya konsep apapun

Lebih terperinci

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

PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321. SEMESTER : GANJIL (5) DOSEN : MAULANA, S.Pd., M.Pd. Doc Logika Matematika PGSD Maulana 1 PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321 BOBOT SKS : 2 (DUA) TAHUN AKADEMIK : 2007/2008 PROGRAM : PGSD S-1 KELAS SEMESTER : GANJIL

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

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

ATURAN INFERENSI. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 6 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo

ATURAN INFERENSI. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 6 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 6 FONDASI MATEMATIKA Masalah Penarikan Kesimpulan Kesimpulan apa yang dapat diambil dari deskripsi berikut 1 Jika seseorang kuliah di perguruan

Lebih terperinci

FONDASI MATEMATIKA. Julan HERNADI. September 9, 2012 BUKU TEKS WAJIB. (Dasar berpikir deduktif dalam matematika)

FONDASI MATEMATIKA. Julan HERNADI. September 9, 2012 BUKU TEKS WAJIB. (Dasar berpikir deduktif dalam matematika) FONDASI MATEMATIKA (Dasar berpikir deduktif dalam matematika) Julan HERNADI September 9, 2012 BUKU TEKS WAJIB DAFTAR ISI 1 PROPOSISI DAN KONEKTIVITAS 1 1.1 Proposisi dan nilai kebenaran......................

Lebih terperinci

Pengantar Teori Bilangan. Kuliah 4

Pengantar Teori Bilangan. Kuliah 4 Pengantar Teori Bilangan Kuliah 4 Materi Kuliah Bilangan Prima dan Distribusinya Teorema Fundamental Aritmatika Saringan Eratosthenes 22/2/2014 Yanita, FMIPA Matematika Unand 2 Bilangan Prima dan Komposit

Lebih terperinci

CHAPTER 5 INDUCTION AND RECURSION

CHAPTER 5 INDUCTION AND RECURSION CHAPTER 5 INDUCTION AND RECURSION 5.1 MATHEMATICAL INDUCTION Jumlah n Bilangan Ganjil Positif 1 = 1 1 + 3 = 4 1 + 3 + 5 = 9 1 + 3 + 5 + 7 = 16 1 + 3 + 5 + 7 + 9 = 25 Tebakan: Jumlah dari n bilangan ganjil

Lebih terperinci

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

LOGIKA MATEMATIKA. LA - WB (Lembar Aktivitas Warga Belajar) MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X LA - WB (Lembar Aktivitas Warga Belajar) LOGIKA MATEMATIKA Oleh: Hj. ITA YULIANA, S.Pd, M.Pd MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X Created By Ita Yuliana 37 Logika Matematika Kompetensi

Lebih terperinci

LOGIKA MATEMATIKA. d. 6 + a > -4 e. 7 adalah faktor dari 63. c. 4 x 6 2. Tentukan variabel dan himpunan penyelesaian dari: a.

LOGIKA MATEMATIKA. d. 6 + a > -4 e. 7 adalah faktor dari 63. c. 4 x 6 2. Tentukan variabel dan himpunan penyelesaian dari: a. LOGIKA MATEMATIKA A. Definisi 1). Pernyataan Pernyataan adalah suatu kalimat yang bernilai benar atau salah, tetapi tidak sekaligus benar dan salah. Air laut rasanya asin, adalah bilangan prima, urabaya

Lebih terperinci

INDUKSI MATEMATIKA A. Penalaran Induktif dan Deduktif Penalaran dalam matematika ada dua jenis, yaitu penalaran induktif dan penalaran deduktif. 1.

INDUKSI MATEMATIKA A. Penalaran Induktif dan Deduktif Penalaran dalam matematika ada dua jenis, yaitu penalaran induktif dan penalaran deduktif. 1. INDUKSI MATEMATIKA A. Penalaran Induktif dan Deduktif Penalaran dalam matematika ada dua jenis, yaitu penalaran induktif dan penalaran deduktif. 1. Penalaran induktif Penalaran Induktif adalah proses berpikir

Lebih terperinci

Metoda Pembuktian: Induksi Matematika

Metoda Pembuktian: Induksi Matematika Metoda Pembuktian: 1 Program Studi Pendidikan Matematika Universitas Muhammadiyah, Ponorogo January 14, 011 ILUSTRASI Figure: Ilustrasi Induksi Reaksi Berantai Pada ilustrasi di atas, kartu-kartu disusun

Lebih terperinci

STUDI PENALARAN DEDUKTIF MAHASISWA PGMI STAIN PURWOKERTO DITINJAU DARI KEMAMPUAN PEMBUKTIAN MATEMATIKA. Mutijah

STUDI PENALARAN DEDUKTIF MAHASISWA PGMI STAIN PURWOKERTO DITINJAU DARI KEMAMPUAN PEMBUKTIAN MATEMATIKA. Mutijah Prosiding Seminar Nasional Penelitian, Pendidikan dan Penerapan MIPA, Fakultas MIPA, Universitas Negeri Yogyakarta, 18 Mei 2013 STUDI PENALARAN DEDUKTIF MAHASISWA PGMI STAIN PURWOKERTO DITINJAU DARI KEMAMPUAN

Lebih terperinci

KATA PENGANTAR. Assalamu alaikum Wr. Wb.

KATA PENGANTAR. Assalamu alaikum Wr. Wb. KATA PENGANTAR Assalamu alaikum Wr. Wb. Matematika tidak dapat terlepas dalam kehidupan manusia sehari-hari, baik saat mempelajari matematika itu sendiri maupun mata kuliah lainnya. Mata kuliah Pengantar

Lebih terperinci

BAB 6 LOGIKA MATEMATIKA

BAB 6 LOGIKA MATEMATIKA A 6 LOGIKA MATEMATIKA A RINGKAAN MATERI 1. Pengertian Logika adalah suatu metode yang diciptakan untuk meneliti ketepatan penalaran (bentuk pemikiran yang masuk akal). Pernyataan adalah kalimat yang hanya

Lebih terperinci

Modul Matematika X Semester 2 Logika Matematika

Modul Matematika X Semester 2 Logika Matematika Modul Matematika X Semester 2 Logika Matematika Oleh : Markus Yuniarto, S.Si Tahun Pelajaran 2014 2015 SMA Santa Angela Jl. Merdeka No. 24 Bandung LOGIKA MATEMATIKA A. Standar Kompetensi : Menggunakan

Lebih terperinci

BAB I DASAR-DASAR LOGIKA

BAB I DASAR-DASAR LOGIKA BAB I DASAR-DASAR LOGIKA 11 Pendahuluan Logika adalah suatu displin yang berhubungan dengan metode berpikir Pada tingkat dasar, logika memberikan aturan-aturan dan teknik-teknik untuk menentukan apakah

Lebih terperinci

Pengantar : Induksi Matematika

Pengantar : Induksi Matematika Pengantar : Induksi Matematika Analisis Real /2 SKS/ Ega Gradini, M.Sc Induksi Matematika adalah cara standar dalam membuktikan bahwa sebuah pernyataan tertentu berlaku untuk setiap bilangan asli. Pembuktian

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

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

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

Logika & Himpunan 2013 LOGIKA MATEMATIKA. Oleh NUR INSANI, M.SC. Disadur dari BUDIHARTI, S.Si. LOGIKA MATEMATIKA Oleh NUR INSANI, M.SC Disadur dari BUDIHARTI, S.Si. Logika adalah ilmu yang mempelajari secara sistematis kaidah-kaidah penalaran yang absah/valid. Ada dua macam penalaran, yaitu: penalaran

Lebih terperinci

ARGUMEN (ARGUMENT) Drs. C. Jacob, M.Pd LOGIKA BERUSAHA UTK MEMBEDAKAN ARGUMEN VALID (CORRECT) & INVALID (INCORRECT)

ARGUMEN (ARGUMENT) Drs. C. Jacob, M.Pd   LOGIKA BERUSAHA UTK MEMBEDAKAN ARGUMEN VALID (CORRECT) & INVALID (INCORRECT) ARGUMEN (ARGUMENT) Drs. C. Jacob, M.Pd Email: cjacob@upi.edu LOGIKA BERUSAHA UTK MEMBEDAKAN ARGUMEN VALID (CORRECT) & INVALID (INCORRECT) SUATU ARGUMEN MEMUAT SATU ATAU LEBIH KALIMAT YG DISEBUT PREMIS

Lebih terperinci

BAB I LOGIKA MATEMATIKA

BAB I LOGIKA MATEMATIKA BAB I LOGIKA MATEMATIKA A. Ringkasan Materi 1. Pernyataan dan Bukan Pernyataan Pernyataan adalah kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus benar dan salah. (pernyataan disebut

Lebih terperinci

BAB I PENDAHULUAN. Proses pembelajaran matematika di perguruan tinggi membutuhkan

BAB I PENDAHULUAN. Proses pembelajaran matematika di perguruan tinggi membutuhkan 1 BAB I PENDAHULUAN A. Latar Belakang Masalah Proses pembelajaran matematika di perguruan tinggi membutuhkan kemampuan kognitif tingkat tinggi, seperti kemampuan analisis, sintesis, dan evaluasi, tidak

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

Pembahasan Soal-Soal Latihan 1.1

Pembahasan Soal-Soal Latihan 1.1 Pembahasan Soal-Soal Latihan. Oleh : Fendi Alfi Fauzi Anda pasti masih ingat bagaimana memanipulasi bilangan, tetapi tidak ada salahnya untuk mengulang kembali sejenak. Dalam Soal-soal 0, sederhanakanlah

Lebih terperinci

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

1.3 Pembuktian Tautologi dan Kontradiksi. Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi 1.3 Pembuktian 1.3.1 Tautologi dan Kontradiksi Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi yang membentuknya disebut toutologi, sedangkan proposisi yang selalu bernilai salah

Lebih terperinci

SISTEM BILANGAN REAL

SISTEM BILANGAN REAL DAFTAR ISI SISTEM BILANGAN REAL. Sifat Aljabar Bilangan Real......................2 Sifat Urutan Bilangan Real..................... 6.3 Nilai Mutlak dan Jarak Pada Bilangan Real.............4 Supremum

Lebih terperinci

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

LOGIKA MATEMATIKA. Tabel kebenarannya sbb : p ~ p B S S B LOGIKA MATEMATIKA A. Pernyataan, kalimat terbuka, dan ingkaran pernyataan. 1. Pernyataan Pernyataan adalah kalimat yang mengandung nilai benar atau salah tetapi tidak sekaligus kedua-duanya. a. Hasil kali

Lebih terperinci

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

Kuliah 2 1. LOGIKA (LOGIC) Matematika Diskrit. Dr.-Ing. Erwin Sitompul Kuliah 2 1. LOGIKA (LOGIC) Dr.-Ing. http://zitompul.wordpress.com Solusi Pekerjaan Rumah (PR 1) Dua pedagang barang kelontong mengeluarkan semboyan dagang untuk menarik pembeli. Pedagang pertama mengumbar

Lebih terperinci

BAB II TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN

BAB II TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN BAB II TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN 2.1 Pendahuluan Pada bab ini akan dibicarakan rumus-rumus tautologi dan prinsip-prinsip pembuktian yang tidak saja digunakan di bidang matematika, tetapi

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

Program Kuliah Fondasi Matematika Pertemuan 4-7

Program Kuliah Fondasi Matematika Pertemuan 4-7 Program Kuliah Fondasi Matematika Pertemuan 4-7 Pertemuan 4 Memahami denisi fungsi proposisi Mengidentikasi nilai kebenaran fungsi proposisi Menentukan domain di mana fungsi proposisi bernilai benar Memahami

Lebih terperinci

BAHAN AJAR LOGIKA MATEMATIKA

BAHAN AJAR LOGIKA MATEMATIKA 1 BAHAN AJAR LOGIKA MATEMATIKA DI SUSUN OLEH : DRS. ABD. SALAM,MM KELAS X BM & PAR SMK NEGERI 1 SURABAYA LOGIKA MATEMATIKA Standar Kompetensi : Menerapkan logika matematika dalam pemecahan masalah yang

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

LOGIKA. Arum Handini Primandari

LOGIKA. Arum Handini Primandari LOGIKA Arum Handini Primandari LOGIKA MATEMATIKA KALIMAT TERBUKA DAN TERTUTUP Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Apakah kamu tahu pencipta lagu PPAP? Semoga ujian

Lebih terperinci

RUMUS-RUMUS TAUTOLOGI. (Minggu ke-5 dan 6)

RUMUS-RUMUS TAUTOLOGI. (Minggu ke-5 dan 6) RUMUS-RUMUS TAUTOLOGI (Minggu ke-5 dan 6) 1 1 Rumus-rumus tautologi Rumus 1.1 (Komutatif) 1. p q q p 2. p q q p Bukti: p q p q q p T T T T T F F F F T F F F F F F 2 Rumus 1.2 (Distributif) 1. p (q r) (p

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

PENERAPAN INDUKSI MATEMATIKA DALAM PEMBUKTIAN MATEMATIKA

PENERAPAN INDUKSI MATEMATIKA DALAM PEMBUKTIAN MATEMATIKA Penerapan Induksi Matematika Dalam Pembuktian.. PENERAPAN INDUKSI MATEMATIKA DALAM PEMBUKTIAN MATEMATIKA Miksalmina, S.Pd ABSTRAK Induksi matematika merupakan sebuah teknik pembuktian pernyataan yang berkaitan

Lebih terperinci

KONSTRUKSI SISTEM BILANGAN

KONSTRUKSI SISTEM BILANGAN KONSTRUKSI SISTEM BILANGAN KEVIN MANDIRA LIMANTA 1. Konstruksi Aljabar 1.1. Bilangan Natural. Himpunan bilangan paling primitif adalah bilangan natural N, yang dicacah dengan aturan sebagai berikut: (1)

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

SATUAN ACARA PERKULIAHAN. ( Logika Informatika ) Pengesahan. Nama Dokumen : SATUAN ACARA PERKULIAHAN LOGIKA INFORMATIKA

SATUAN ACARA PERKULIAHAN. ( Logika Informatika ) Pengesahan. Nama Dokumen : SATUAN ACARA PERKULIAHAN LOGIKA INFORMATIKA Pengesahan Nama Dokumen : LOGIKA INFORMATIKA No Dokumen : No ISO 91:28/IWA 2 1dari 6 Diajukan oleh Imelda Saluza, S.Si., M.Sc. (Dosen Pengampu) Diperiksa oleh Ir. Dedi Hermanto, MT (GPM) Disetujui oleh

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

LEMBAR AKTIVITAS SISWA INDUKSI MATEMATIKA

LEMBAR AKTIVITAS SISWA INDUKSI MATEMATIKA Nama Siswa Kelas : : LEMBAR AKTIVITAS SISWA INDUKSI MATEMATIKA Latihan 1 1. A. NOTASI SIGMA 1. Pengertian Notasi Sigma Misalkan jumlah n suku pertama deret aritmatika adalah S n = U 1 + U 2 + U 3 + + U

Lebih terperinci

Unit 7 PENALARAN INDUKTIF DAN DEDUKTIF. Clara Ika Sari Budhayanti. Pendahuluan. Selamat belajar dan tetap bersemangat, semoga Anda sukses.

Unit 7 PENALARAN INDUKTIF DAN DEDUKTIF. Clara Ika Sari Budhayanti. Pendahuluan. Selamat belajar dan tetap bersemangat, semoga Anda sukses. Unit 7 PENALARAN INDUKTIF DAN DEDUKTIF Pendahuluan Clara Ika Sari Budhayanti U nit penalaran induktif dan deduktif ini akan membahas mengenai penarikan kesimpulan dan penalaran indukti deduktif. Dalam

Lebih terperinci