Contoh : 1..Buktikan bahwa untuk semua bilangan bulat n, jika n adalah bilangan ganjil, maka n 2 adalah bilangan ganjil! Jawab :

Ukuran: px
Mulai penontonan dengan halaman:

Download "Contoh : 1..Buktikan bahwa untuk semua bilangan bulat n, jika n adalah bilangan ganjil, maka n 2 adalah bilangan ganjil! Jawab :"

Transkripsi

1 PEMBUKTIAN LANGSUNG Untuk menunjukan pernyataan (p=>q) benar dapat dilakukan dengan menggunakan premis p untuk mendapatkan konklusi q. Metode pembuktian yang termasuk bukti langsung antara lain modus ponens, tollens, dan silogisme. Contoh : 1..Buktikan bahwa untuk semua bilangan bulat n, jika n adalah bilangan ganjil, maka n 2 adalah bilangan ganjil! Jawab : Misalnya : p : n adalah bilangan bulat ganjil q : n 2 adalah bilangan bulat ganjil Akan dibuktikan p => q benar. Karena n ganjil, yaitu n = 2k +1, k C Maka n 2 = (2k + 1) 2 = 4k 2 +4k +1 = 2(2k 2 + 2k) + 1 = 2m + 1 Dengan m = 2k 2 + 2k, yang berarti n 2 adalah bilangan bulat ganjil Jadi, terbukti p=>q benar. 2. Buktikan bahwa jika a membagi b dan b membagi c maka a membagi c dengan a, b, dan c bilangan bulat. Bukti : a b artinya b = ka untuk suatu k b c artinya c = lb untuk suatu l (i) (ii) akan dibuktikan bahwa c = ma untuk suatu m substitusi (i) ke (ii), sehingga diperoleh

2 c = lb = l(ka) = (lk)a karena lk adalah perkalian bilangan bulat yang hasilnya bilangan bulat juga (sifat tertutup perkalian bilangan bulat), maka ambil m := lk untuk dengan m, sehingga diperoleh c = ma untuk suatu m 3. Buktikan bahwa a + b bilangan ganjil jika dan hanya jika a atau b bilangan ganjil dengan a dan b bilangan bulat. Bukti : Pernyataan diatas ekuivalen dengan (i) jika a + b bilangan ganjil maka a atau b bilangan ganjil (ii) jika a atau b bilangan ganjil maka a + b bilangan ganjil Jadi pada pembuktian ini kita akan membuktiaan (i) dan (ii). Bukti bagian (i) misalkan a dan b bilangan bulat sebarang dan a + b bilangan ganjil. akan dibuktikan a atau b bilangan ganjil. tanpa mengurangi perumuman akan dibuktikan a ganjil klaim : b bilangan genap (b := 2m untuk suatu m ) a + b bilangan ganjil a + b = 2k + 1 untuk suatu k substitusi b = 2m sehingga diperoleh a + 2m = 2k + 1 a = 2k 2m + 1 = 2(k m) + 1 karena tertutup terhadap operasi pengurangan, maka ambil l := k m, sehingga diperoleh a = 2l + 1

3 jadi a bilangan ganjil selanjutnya akan dibuktikan b bilangan ganjil klaim : a bilangan genap (a := 2p untuk suatu p ) a + b bilangan ganjil a + b = 2q + 1 untuk suatu k substitusi a = 2p sehingga diperoleh 2p + b = 2q + 1 b = 2q 2p + 1 = 2(p q) + 1 karena tertutup terhadap operasi pengurangan, maka ambil r := p q, sehingga diperoleh b = 2r + 1 jadi b bilangan ganjil Bukti bagian (ii) misal a dan b bilangan bulat sebarang dan a bilangan ganjil (a := 2m + 1 untuk suatu m ) dan b bilangan genap (b := 2n untuk suatu n ). Sehingga a + b = 2m n = 2(m + n) + 1 karena tertutup terhadap operasi penjumlahan bilangan bulat, ambil p := m + n, sehingga a + b = 2p + 1 untuk suatu p jadi a + b bilangan ganjil 4. Buktikan bahwa perkalian tiga bilangan asli berurutan habis dibagi 3 Bukti : misal tiga bilangan asli berurutan didefinisikan sebagai n, n + 1 dan n + 2 untuk suatu n dan perkalian tiga bilangan asli adalah. Disini kita akan menggunakan 3 kasus, yaitu 3k, 3k + 1, 3k + 2

4 (i) = (n)(n + 1)(n + 2) = (3k)(3k + 1)(3k + 2) = 3k(9k 2 + 9k + 2) = 3(9k 3 + 9k + 3) adalah bilangan kelipatan 3 (ii) = (n)(n + 1)(n + 2) = (3k + 1)(3k )(3k ) = (3k + 1)(3k + 2)(3k + 3) = (3k + 1)(9k k + 6) = 27k k k + 6 = 3(9k k 3 + 7k + 2) adalah bilangan kelipatan 3 (iii) = (n)(n + 1)(n + 2) = (3k + 2)(3k )(3k ) = (3k + 2)(3k + 3)(3k + 4) = (3k + 2)(9k k + 12) = 27k k k + 24 = 3(9k k k + 8) adalah bilangan kelipatan 3 dari (i), (ii), dan (iii) terlihat bahwa habis dibagi 3 merupakan bilangan kelipatan 3 berakibat

5 buktian bahwa jumlah 2 bilangan genap adalah genap Penyelesaian Pembuktian akan dilakukan secara umum, yaitu dengan mengambil sembaran 2 bilangan genap dan buktikan bahwa jumlah kedua bilangan tersebut adalah genap. Sembarang di sini berarti kita tidak boleh mengambil bilangan genap tertentu, misal 4 dan 10. Akan tetapi kita harus menggunakan 2 variabel untuk menyatakan bahwa pengambilan tersebut dilakukan secara sembarang. Bukti Ambil sembarang 2 bilangan genap, misal m dan n. Akan dibuktikan bahwa (m+n) juga bilangan genap. Oleh karena a dan b adalah bilangan-bilangan genap, maka dan untuk bilangan-bilangan bulat r dan s sehingga m + n = 2r + 2s = 2 (r+s) (sifat distributif) Misal k = r + s Oleh karena r dan s adalah bilangan-bilangan bulat, maka k adalah bilangan bulat juga sehingga m + n = 2k untuk suatu bilangan bulat k. Menurut defenisi bilangan genap, (m+n) adalah bilangan genap karena merupakan hasil kali 2 bilangan bulat. Terbukti bahwa jumlah 2 bilangan genap adalah bilangan genap juga.

6 B. PEMBUKTIAN TIDAK LANGSUNG B1. PEMBUKTIAN KONTRAPOSISI Untuk membutikan ( p=>q ) benar, dapat dilakukan dengan memisalkan q benar dan ditunjukan p benar. Dari q diperoleh p benar sehingga (-q => -p) adalah benar. Contoh : Buktikan bahwa untuk semua bilangan bulat n, jika n 2 adalah bilangan ganjil, maka n adalah bilangan ganjil! Jawab : Untuk membuktikan pernyataan diatas dapat dilakukan dengan pembuktian tak langsung dengan kontraposisi. Misalnya p : n 2 adalah bilangan ganjil q : n adalah bilangan ganjil kemudian misalnya q benar yang berarti n adalah bilangan genap, yaitu n = 2k sehingga n 2 = (2k) 2 = 4k 2 = 2(2k 2 ) = 2m dengan m = 2k 2 Yang berarti n 2 adalah bilangan genap. Dengan demikian, -p : n 2 adalah bilangan genap -q : n adalah bilangan genap Dan karena q => -p adalah benar dan p => q -q => -p Maka terbukti p => q adalah benar. Jadi, terbukti bahwa jika n 2 adalah bilangan ganjil, makan adalah bilangan ganjil.

7 B2. PEMBUKTIAN KONTRADIKSI Untuk membuktikan (p => q) benar, dapat dilakukan dengan mengandaikan q benar. Dari q benar kita tunjukan suatu kontradiksi dengan p benar atau dengan pernyataan benar lainnya. Dengan demikian langkah seharusnya adalah q benar sehingga (p => q) benar. Contoh : Buktikan bahwa jika n 2 adalah bilangan ganjil, maka n adalah bilangan ganjil dengan bukti tak langsung! Jawab : Misalnya n adalah bilangan genap, yaitu n = 2k, k B. Karena n = 2k Maka n 2 = (2k) 2 = 4k 2 =2(2k 2 ) = 2m dengan m = 2k 2 Sehingga n 2 adalah bilangan genap, kontradiksi dengan n 2 adalh bilangan ganjil. Jadi, terbukti bahwa jika n 2 adalah bilangan ganjil, maka n adalah bilangan ganjil.

8 Pembuktian Matematika dengan Kontradiksi: 1. Buktikan bahwa jika n 2 adalah bilangan ganjil, maka n adalah bilangan ganjil dengan bukti secara kontradiksi! Penyelesaian : Misalnya n adalah bilangan genap, yaitu n = 2k, k B. Karena n = 2k Maka n 2 = (2k) 2 = 4k 2 = 2(2k 2 ) = 2m dengan m = 2k 2 Sehingga n 2 adalah bilangan genap, kontradiksi dengan n 2 adalh bilangan ganjil. Jadi, terbukti bahwa jika n 2 adalah bilangan ganjil, maka n adalah bilangan ganjil. 2. Tunjukkan paling tidak 4 dari 22 hari pasti jatuh pada hari yang sama. Penyelesaian: Asumsikan p menjadi proposisi : paling tidak 4 dari 22 hari pasti jatuh pada hari yang sama. Asumsikan p True. Ini berarti maksimal 3 dari 22 hari jatuh pada hari yang sama, karena ada 7 hari dalam seminggu, ini membuktikan pasti 21 hari dipilih karena untuk masing-masing hari dalam seminggu. Kontradiksi dari hipotesa bahwa kita memiliki 22 hari yang dipertimbangkan. Jika r adalah stemen yang dipilih 22 hari, kita bisa tunjukkan bahwa p -> (r/\ r). akibatnya, kita mengetahui p True. Contoh Soal Dan Penyelesaian Pembuktian Langsung dan Tidak Langsung Pembuktian langsung Contoh1 : 1. Buktikan jika x bilangan ganjil maka x 2 bilangan ganjil. Bukti : Diketahui x ganjil, jadi dapat di definisikan sebagaix := 2n + 1 untuk suatu n. Selanjutnya, x 2 = (2n + 1) 2 = 4n 2 + 4n + 1 = 2 (2n 2 + 2) + 1, dengan mengambil m = 2n 2

9 + 2, m maka x 2 = 2m + 1. Karena m merupakan bilangan bulat maka disimpulkan x 2 ganjil. Contoh 2 : 2. Buktikan bahwa jika a membagi b dan b membagi c maka a membagi c dengan a, b, dan c bilangan bulat. Bukti : a b artinya b = ka untuk suatu k b c artinya c = lb untuk suatu l (i) (ii) akan dibuktikan bahwa c = ma untuk suatu m substitusi (i) ke (ii), sehingga diperoleh c = lb = l (ka) = (lk) a karena lk adalah perkalian bilangan bulat yang hasilnya bilangan bulat juga (sifat tertutup perkalian bilangan bulat), maka ambil m := lk untuk dengan m, sehingga diperoleh c = ma untuk suatu m Pembuktian tak langsung 1. Buktikan dengan bukti tak langsung. Jika n ^ 2 bilangan kelipatan 3, maka n bilangan kelipatan 3. Pembahasan :

10 p --> q setara dengan ~q --> ~p Artinya kalo ingin membuktikan pernyataan di atas, maka dibuktikan kebalikannya. jika n bukan kelipatan 3, maka n ^ 2 juga bukan kelipatan 3. n bukan kelipatan 3, maka : n = 3k + 1 atau n = 3k + 2,dengan k bilangan bulat. - n = 3k+1 n ^ 2 = 9k ^ 2 + 6k + 1 n ^ 2 / 3 = [3k ^ 2 + 2k] + 1/3 ----> ada sisa 1/3 terbukti untuk n = 3k + 1, n ^ 2 dibagi 3 akan bersisa 1. - n = 3k + 2 n ^ 2 = 9k ^ k + 4 n ^ 2 / 3 = 3k ^ 2 + 4k /3, ----> ada sisa 1/3 terbukti bahwa untuk n bukan kelipatan 3, maka n ^ 2 juga bukan kelipatan Buktikan jika x2 bilangan ganjil maka x bilangan ganjil. Bukti pernyataan ini sangat sulit dibuktikan secara langsung. Karena x2 ganjil maka dapat ditulis x = 2m + 1 untuk suatu bilangan asli m. Selanjutnya x = tidakdapat disimpulkan apakah ia ganjil atau tidak, sehingga bukti langsung tidak dapat digunakan. Kontraposisi dari pernyataan ini adalah Jika x genap maka x2 genap. Selanjutnya diterapkan bukti langsung pada kontraposisinya. Diketahui x genap, jadi dapat ditulis x = 2n untuk suatu bilangan bulat n. Selanjutnya, x2 = (2n) 2 = 2 (2n2) = 2m

11 m yang merupakan bilangan genap.

Pertemuan 3 METODE PEMBUKTIAN

Pertemuan 3 METODE PEMBUKTIAN Pertemuan 3 METODE PEMBUKTIAN Metode Pembuktian Petunjuk umum dalam pembuktian Langkah-langkah untuk melakukan pembuktian adalah sebagai berikut: 1. Tulislah teorema yang akan dibuktikan 2. Tandailah permulaan

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

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

Logika Matematika BAGUS PRIAMBODO. Tautologi dan Kontradiksi Argumen 1/Penarikan kesimpulan yang valid: modus ponen, modus tolen.

Logika Matematika BAGUS PRIAMBODO. Tautologi dan Kontradiksi Argumen 1/Penarikan kesimpulan yang valid: modus ponen, modus tolen. Modul ke: 6 Logika Matematika Tautologi dan Kontradiksi Argumen 1/Penarikan kesimpulan yang valid: modus ponen, modus tolen Fakultas FASILKOM BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id

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 Cara menentukan nilai kebenaran pernyataan majemuk dengan menggunakan tabel kebenaran, yaitu dengan membagi beberapa bagian (kolom). Nilai kebenarannya

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

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

PENARIKAN KESIMPULAN/ INFERENSI

PENARIKAN KESIMPULAN/ INFERENSI PENARIKAN KESIMPULAN/ INFERENSI Proses penarikan kesimpulan dari beberapa proposisi disebut inferensi (inference). Argumen Valid/Invalid Kaidah-kaidah Inferensi Modus Ponens Modus Tollens Silogisme Hipotesis

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

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

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

Argumen premis konklusi jika dan hanya jika Tautolog

Argumen premis konklusi jika dan hanya jika Tautolog INFERENSI LOGIKA Argumen adalah suatu pernyataan tegas yang diberikan oleh sekumpulan proposisi P 1, P 2,...,P n yang disebut premis (hipotesa/asumsi) dan menghasilkan proposisi Q yang lain yang disebut

Lebih terperinci

ANALISIS REAL. (Semester I Tahun ) Hendra Gunawan

ANALISIS REAL. (Semester I Tahun ) Hendra Gunawan (Semester I Tahun 2011-2012) Analysis and Geometry Group, FMIPA-ITB E-mail: hgunawan@math.itb.ac.id. http://personal.fmipa.itb.ac.id/hgunawan August 8, 2011 Di sekolah menengah telah dipelajari apa yang

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

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

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

Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah. LOGIKA MATEMATIKA 1. Pernyataan Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah. Pernyataan dilambangkan dengan huruf kecil, misalnya p, q, r dan seterusnya.

Lebih terperinci

BAB I TEORI KETERBAGIAN DALAM BILANGAN BULAT

BAB I TEORI KETERBAGIAN DALAM BILANGAN BULAT BAB I TEORI KETERBAGIAN DALAM BILANGAN BULAT. Pendahuluan Well-Ordering Principle Jika S himpunan bagian dari himpunan bilangan bulat positif yang tidak kosong, maka S memiliki sebuah unsur terkecil. Unsur

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

A. PRINSIP INDUKSI SEDERHANA

A. PRINSIP INDUKSI SEDERHANA INDUKSI MATEMATIK Induksi matematik adalah merupakan teknik pembuktian yang baku di dalam Matematika. Induksi matematik digunakan untuk membuktikan pernyataan yang khusus menyangkut bilangan bulat positif.

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

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

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

Pertemuan 5. Proposisi Lanjutan. Dosen Ir. Hasanuddin Sirait, MT STMIK Parna Raya Manado HP :

Pertemuan 5. Proposisi Lanjutan. Dosen Ir. Hasanuddin Sirait, MT  STMIK Parna Raya Manado HP : Pertemuan 5 Proposisi Lanjutan Dosen Ir. Hasanuddin Sirait, MT www.hsirait.wordpress.com STMIK Parna Raya Manado HP : 081356633766 KESETARAAN LOGIS Dua buah pernyataan yang berbeda dikatakan setara/equivalen

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

matematika PEMINATAN Kelas X PERSAMAAN DAN PERTIDAKSAMAAN EKSPONEN K13 A. PERSAMAAN EKSPONEN BERBASIS KONSTANTA

matematika PEMINATAN Kelas X PERSAMAAN DAN PERTIDAKSAMAAN EKSPONEN K13 A. PERSAMAAN EKSPONEN BERBASIS KONSTANTA K1 Kelas X matematika PEMINATAN PERSAMAAN DAN PERTIDAKSAMAAN EKSPONEN TUJUAN PEMBELAJARAN Setelah mempelajari materi ini, kamu diharapkan memiliki kemampuan berikut. 1. Memahami bentuk-bentuk persamaan

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

PEMBUKTIAN MATEMATIKA

PEMBUKTIAN MATEMATIKA PEMBUKTIAN MATEMATIKA PEMBUKTIAN LOGIKA PREDIKAT PEMBUKTIAN LANGSUNG PEMBUKTIAN TAK LANGSUNG Altien Jonathan Rindengan, S.Si, M.Kom Pembuktian Logika Predikat Metode pembuktian pada dasarnya sama dengan

Lebih terperinci

RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Nama Sekolah : SMK... Mata Pelajaran : Matematika Kelas : XI Program Keahlian : Akuntansi dan Penjualan

RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Nama Sekolah : SMK... Mata Pelajaran : Matematika Kelas : XI Program Keahlian : Akuntansi dan Penjualan RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Nama Sekolah : SMK... Mata Pelajaran : Matematika Kelas : XI Program Keahlian : Akuntansi dan Penjualan Standar Kompetensi Kompetensi Dasar Indikator Alokasi Waktu

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

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

Induksi 1 Matematika

Induksi 1 Matematika Induksi 1 Matematika Metode pembuktian untuk pernyataan perihal bilangan bulat adalah induksi matematik. Contoh : p(n): Jumlah bilangan bulat positif dari 1 sampai n adalah n(n + 1)/2. Buktikan p(n) benar!

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

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

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

Metode pembuktian untuk pernyataan perihal bilangan bulat adalah induksi matematik.

Metode pembuktian untuk pernyataan perihal bilangan bulat adalah induksi matematik. Induksi Matematik 1 Metode pembuktian untuk pernyataan perihal bilangan bulat adalah induksi matematik. Contoh : p(n): Jumlah bilangan bulat positif dari 1 sampai n adalah n(n + 1)/2. Buktikan p(n) benar!

Lebih terperinci

PEMBUKTIAN MATEMATIKA

PEMBUKTIAN MATEMATIKA PEMBUKTIAN MATEMATIKA LOGIKA INFERENSIA Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Kata inferensia digunakan untuk menyatakan sekumpulan premis yang diikuti dengan kesimpulan. Infrensia yang sahih

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

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

Berdasarkan tabel 1 diperoleh bahwa p q = q p. PEMAHAAN 1. Pengertian Kata LOGIKA mengacu pada suatu metode atau cara yang sistematis dalam berpikir (reasoning), dan terdapat dua sistem khusus yaitu : suatu metode dasar yang disebut dengan Kalkulus

Lebih terperinci

BAB 1. PENDAHULUAN. Bab ini akan membahas sekilas mengenai konsep-konsep yang berkaitan dengan himpunan dan fungsi.

BAB 1. PENDAHULUAN. Bab ini akan membahas sekilas mengenai konsep-konsep yang berkaitan dengan himpunan dan fungsi. BAB PENDAHULUAN Bab ini akan membahas sekilas mengenai konsep-konsep yang berkaitan dengan himpunan dan fungsi Himpunan Real Ada beberapa notasi himpunan yang sering digunakan dalam Analisis () merupakan

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

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

DASAR DASAR LOGIKA. Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. 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 + 2 = 4

Lebih terperinci

PERTEMUAN KE 3 F T T F T F T F

PERTEMUAN KE 3 F T T F T F T F PEREMUAN KE 3 E. DISJUNGSI EKSLUSI (Exclusive OR) Misalkan p dan q adalah proposisi. Exclusive or p dan q, dinyatakan dengan notasi, adalah proposisi yang bernilai benar bila hanya salah satu dari p dan

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

RENCANA PELAKSANAAN PEMBELAJARAN

RENCANA PELAKSANAAN PEMBELAJARAN RENCANA PELAKSANAAN PEMBELAJARAN Materi Pelajaran : Matematika Kelas/ Semester : X / 2 Pertemuan ke : 1,2 Alokasi Waktu : 5 x 45 menit Standar Kompetensi : Menerapkan logika matematika dalam pemecahan

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

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

LOGIKA MATEMATIKA SOAL DAN PENYELESAIAN Logika, Himpunan, Relasi, Fungsi JONG JEK SIANG Kita menjalani hidup dari apa yang kita dapatkan Tetapi kita menikmati hidup dari apa yang kita berikan Jong Jek

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 TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN

BAB I TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN BAB I TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN Pada bab ini akan dibicarakan rumus-rumus tautologi dan prinsip-prinsip pembuktian yang tidak saja digunakan di bidang matematika, tetapi juga dapat diterapkan

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

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

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

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

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

Pertemuan 2. Proposisi Bersyarat

Pertemuan 2. Proposisi Bersyarat Pertemuan 2 Proposisi ersyarat Proposisi ersyarat Definisi 4 Misalkan p dan q adalah proposisi. Proposisi majemuk jika p, maka q disebut proposisi bersyarat (implikasi dan dilambangkan dengan p q Proposisi

Lebih terperinci

B I L A N G A N 1.1 SKEMA DARI HIMPUNAN BILANGAN. Bilangan Kompleks. Bilangan Nyata (Riil) Bilangan Khayal (Imajiner)

B I L A N G A N 1.1 SKEMA DARI HIMPUNAN BILANGAN. Bilangan Kompleks. Bilangan Nyata (Riil) Bilangan Khayal (Imajiner) 1 B I L A N G A N 1.1 SKEMA DARI HIMPUNAN BILANGAN Bilangan Kompleks Bilangan Nyata (Riil) Bilangan Khayal (Imajiner) Bilangan Rasional Bilangan Irrasional Bilangan Pecahan Bilangan Bulat Bilangan Bulat

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

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

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

LOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi LOGIKA MATEMATIKA MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM Definisi Proposisi adalah suatu kalimat yang bernilai benar atau salah dan tidak keduanya Proposisi Kalimat Deklaratif Proposisi

Lebih terperinci

BAHAN AJAR TEORI BILANGAN. DOSEN PENGAMPU RINA AGUSTINA, S. Pd., M. Pd. NIDN

BAHAN AJAR TEORI BILANGAN. DOSEN PENGAMPU RINA AGUSTINA, S. Pd., M. Pd. NIDN BAHAN AJAR TEORI BILANGAN DOSEN PENGAMPU RINA AGUSTINA, S. Pd., M. Pd. NIDN. 0212088701 PENDIDIKAN MATEMATIKA FAKULTAS KEGURUAN DAN ILMU PENDIDIKAN UNIVERSITAS MUHAMMADIYAH METRO 2015 KATA PENGANTAR ب

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

Silabus. Kegiatan Pembelajaran Instrumen

Silabus. Kegiatan Pembelajaran Instrumen NAMA SEKOLAH : MATA PELAJARAN : Matematika KELAS : XI STANDAR KOMPETENSI : Menerapkan logika matematka dalam pemecahan masalah yang berkaitan dengan pernyataan majemuk dan pernyataan berkuantor KODE KOMPETENSI

Lebih terperinci

Beberapa Uji Keterbagian Bilangan Bulat

Beberapa Uji Keterbagian Bilangan Bulat Beberapa Uji Keterbagian Bilangan Bulat Untuk menguji suatu bilangan bulat dapat dibagi (habis dibagi) atau tidak dapat dibagi oleh bilangan bulat lain kita dapat menggunakan kalkulator atau dengan metode

Lebih terperinci

III. BILANGAN KROMATIK LOKASI GRAF. ini merupakan pengembangan dari konsep dimensi partisi dan pewarnaan graf.

III. BILANGAN KROMATIK LOKASI GRAF. ini merupakan pengembangan dari konsep dimensi partisi dan pewarnaan graf. III BILANGAN KROMATIK LOKASI GRAF Bilangan kromatik lokasi graf pertama kali dikaji oleh Chartrand dkk 00) Konsep ini merupakan pengembangan dari konsep dimensi partisi pewarnaan graf Pewarnaan titik pada

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

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

LOGIKA MATEMATIKA. Oleh : Siardizal, S.Pd., M.Kom LOGIKA MATEMATIKA Oleh : iardizal,.pd., M.Kom elamat datang di CD berprogram Menu Utama Info Guru Diskripsi Materi Pelajaran LOGIKA MATEMATIKA Kompetensi Dasar Materi Latihan oal 2 elamat datang di CD

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

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

Induksi Matematika. Fitriyanti Mayasari

Induksi Matematika. Fitriyanti Mayasari Induksi Matematika Fitriyanti Mayasari Pendahuluan Induksi Matematika merupakan salah satu cara yang dapat digunakan untuk membuktikan pernyataan-pernyataan yang menegaskan bahwa suatu p(n) adalah benar

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

MATEMATIKA DASAR (Validitas Pembuktian)

MATEMATIKA DASAR (Validitas Pembuktian) MATEMATIKA DASAR (Validitas Pembuktian) Antonius Cahya Prihandoko Universitas Jember Indonesia Jember, 2015 Antonius Cahya Prihandoko (UNEJ) MDAS - Validitas Pembuktian Jember, 2015 1 / 22 Outline 1 Premis

Lebih terperinci

INF-104 Matematika Diskrit

INF-104 Matematika Diskrit Teori Bilangan Jurusan Informatika FMIPA Unsyiah April 13, 2013 Metode pembuktian untuk pernyataan perihal bilangan bulat adalah induksi matematik. Induksi matematik merupakan teknik pembuktian yang baku

Lebih terperinci

kusnawi.s.kom, M.Eng version

kusnawi.s.kom, M.Eng version Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.1.0.2009 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi -

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

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

LOGIKA MATEMATIKA. Pernyataan

LOGIKA MATEMATIKA. Pernyataan LOGIKA MATEMATIKA 1 PERNYATAAN DAN UKAN PERNYATAAN A Pengertian logika Matematika Logika adalah ilmu untuk berpikir dan menalar dengan benar. Logika matematika (logika simbolik) adalah ilmu tentang penyimpulan

Lebih terperinci

VARIASI MODEL SILOGISME UNTUK PENGAMBILAN KESIMPULAN DALAM PEMBELAJARAN MATEMATIKA DI SEKOLAH DASAR

VARIASI MODEL SILOGISME UNTUK PENGAMBILAN KESIMPULAN DALAM PEMBELAJARAN MATEMATIKA DI SEKOLAH DASAR 98 VARIASI MODEL SILOGISME UNTUK PENGAMBILAN KESIMPULAN DALAM PEMBELAJARAN MATEMATIKA DI SEKOLAH DASAR Elly s Mersina Mursidik Program Studi Pendidikan Guru Sekolah Dasar Fakultas Ilmu Pendidikan IKIP

Lebih terperinci

RENCANA PELAKSANAAN PEMBELAJARAN (RPP)

RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Kurikulim MK Negeri 1 urabaya RENCANA PELAKANAAN PEMELAJARAN (RPP) Nama ekolah : MK Negeri 1 urabaya Program Keahlian : Mata Pelajaran : Matematika Kelas / emester : tandar Kompetensi : Menerapkan logika

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

INDUKSI MATEMATIKA PERTEMUAN KE- 4

INDUKSI MATEMATIKA PERTEMUAN KE- 4 INDUKSI MATEMATIKA PERTEMUAN KE- 4 DEFINISI Induksi Matematika adalah metode pembuktian untuk pernyataan perihal bilangan bulat Induksi matematik merupakan teknik pembuktian yang baku di dalam matematika

Lebih terperinci

PENGEMBANGAN BAHAN AJAR MATA KULIAH ANALISIS REAL BERBASIS PEMBUKTIAN PADA SEMESTER V UNMUH JEMBER

PENGEMBANGAN BAHAN AJAR MATA KULIAH ANALISIS REAL BERBASIS PEMBUKTIAN PADA SEMESTER V UNMUH JEMBER PENGEMBANGAN BAHAN AJAR MATA KULIAH ANALISIS REAL BERBASIS PEMBUKTIAN PADA SEMESTER V UNMUH JEMBER Nurul Imamah Ah FKIP Universitas Muhammadiyah Jember nurul.imamah86@gmail.com Abstrak Penelitian ini merupakan

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

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

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

1. Memahami pengertian proposisi dan predikat. 3. Memahami penggunaan penghubung dan tabel kebenaran Modul 1 Logika Matematika Pendahuluan Pada Modul ini akan dibahas materi yang berkaitan dengan logika proposisi dan logika predikat, serta berbagai macam manipulasi didalamnya. Tujuan Instruksional Umum

Lebih terperinci

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

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

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

LOGIKA DAN PEMBUKTIAN

LOGIKA DAN PEMBUKTIAN BAB I LOGIKA DAN PEMBUKTIAN A. PENGANTAR Prinsip dari logika matematika memiliki korelasi dengan pembuktian kebenaran yang dilakukan menggunakan tabel kebenaran ataupun tanpa menggunakan tabel kebenaran

Lebih terperinci

kusnawi.s.kom, M.Eng version

kusnawi.s.kom, M.Eng version Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.0.0.2009 Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi - Satisfiable(Contingent).

Lebih terperinci

Induksi Matematik. Metode pembuktian untuk pernyataan perihal bilangan bulat adalah induksi matematik.

Induksi Matematik. Metode pembuktian untuk pernyataan perihal bilangan bulat adalah induksi matematik. Induksi Matematik Matematika Diskrit 1 Metode pembuktian untuk pernyataan perihal bilangan bulat adalah induksi matematik. Contoh : p(n): Jumlah bilangan bulat positif dari 1 sampai n adalah n(n + 1)/2.

Lebih terperinci

Prediksi 1 UN SMA IPS Matematika

Prediksi 1 UN SMA IPS Matematika Prediksi UN SMA IPS Matematika Kode Soal Doc. Version : 0-06 halaman 0. () Jika jalan basah maka hari hujan () Jika hari tidak hujan maka jalan tidak basah () Jika jalan tidak basah maka hari tidak hujan

Lebih terperinci

II. LANDASAN TEORI. Secara umum, apabila α bilangan bulat dan b bilangan bulat positif, maka ada

II. LANDASAN TEORI. Secara umum, apabila α bilangan bulat dan b bilangan bulat positif, maka ada II. LANDASAN TEORI Pada bilangan ini diterangkan materi yang berkaitan dengan penelitian, diantaranya konsep bilangan sempurna, bilangan bulat, bilangan prima,faktor bilangan bulat dan kekongruenan. 2.1

Lebih terperinci

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

CBT Psikotes CBT UN SMA IPA SBMPTN. FPM Matematika. Tes Buta Warna GENTA GROUP in PLAY STORE CBT UN SMA IPA Aplikasi CBT UN SMA IPA android dapat di download di play store dengan kata kunci genta group atau gunakan qr-code di bawah. CBT Psikotes Aplikasi CBT Psikotes

Lebih terperinci

INGKARAN DARI PERNYATAAN

INGKARAN DARI PERNYATAAN HAND-OUT Student Name : Subject : Matematika Wajib Grade/Class : / Toic : Logika Matematika Date : Teacher(s) : Mr. Daniel Kristanto Semester : 2 Parent s Signature : LOGIKA MATEMATIKA Kalimat logika matematika

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

SMP kelas 9 - MATEMATIKA BAB 16. HIMPUNANLatihan Soal 16.1 {22, 25, 26, 28, 30) {21, 24, 26, 28, 30) {21, 23, 24, 27, 29) {21, 23, 25, 27, 29)

SMP kelas 9 - MATEMATIKA BAB 16. HIMPUNANLatihan Soal 16.1 {22, 25, 26, 28, 30) {21, 24, 26, 28, 30) {21, 23, 24, 27, 29) {21, 23, 25, 27, 29) SMP kelas 9 - MATEMATIKA BAB 16. HIMPUNANLatihan Soal 16.1 1. Complemen gabungan 2 himpunan. Diketahui : S = {21, 22, 23, 24,..., 30} A = {x 20 x 30, X Bil.Prima} B = {y 20 x 30, X Bil.Kelipatan 3} {22,

Lebih terperinci