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

Ukuran: px
Mulai penontonan dengan halaman:

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

Transkripsi

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

2 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

3 Rumus 1.2 (Distributif) 1. p (q r) (p q) (p r) 2. p (q r) (p q) (p r) Bukti: Untuk 1. p q r q r p (q r) (p q) (p r) p q p r T T T T T T T T T T F T T T T T T F T T T T T T T F F T T T T T F T T T T T T T F T F F F F T F F F F F F F F F 3

4 Rumus p T T p p 3. p F F p p 2. p F F p F 4. p T T p T Rumus p p T 2. p p F Rumus 1.5 (Assosiatif) 1. p (q r) (p q) r 2. p (q r) (p q) r Rumus 1.6 (Identitas, negasi rangkap dan idempoten) 1. p p 3. p p p 2. p p 4. p p p 4

5 Rumus 1.7 Hukum De Morgan 1. p q ( p q) 2. p q ( p q). Bukti: Untuk 1. p q p q p q p q p q T T T F F F F T F F T T F T F T F T T T F F F F T T T T 5

6 Rumus p = q (p q) 2. p q ((p q) ( p = q)). Rumus (T = p) p 3. (p T ) p 2. (F = p) T 4. (p F ) p Rumus 1.10 Hubungan implikasi dan biimplikasi dengan negasi, konjungsi dan disjungsi 1. (p = q) ( p q) 3. (p = q) (( p q) (p q) 2. (p = q) p q 4. (p q) ((p q) ( p q) 6

7 Rumus (p q) ((p = q) (q = p)) 2. ((p = q) (q = r)) (p = r). (Sifat Transitif) Rumus (p = (q = r)) (q = (p = r)) 2. (p = (q = r)) ((p q) = r). 7

8 Bukti Tautologi Menggunakan Tautologi Elementer (p = (q = r)) (q = (p = r)) Bukti: (p = (q = r)) p ( q r) ( q p) r) ( p q) r) q ( p r) (q = (p = r)) 8

9 Latihan Buktikan, bahwa rumus-rumus di atas merupakan tautologi dengan menggunakan pengisian tabel. Jika mungkin buktikan juga tanpa menggunakan pengisian tabel. 9

10 2 Metode Pembuktian Tiga hukum penting tautologi yang digunakan sebagai metode pembuktian: 1. Modus Ponens 2. Hukum Kontraposisi 3. Reductio ad absurdum. Modus ponens merupakan bukti secara langsung. Sedangkan kontraposisi dan reductio ad absurdum merupakan bukti tidak langsung. Pembuktian suatu teori lebih diutamakan menggunakan bukti secara langsung. 10

11 2.1 Modus Ponens Rumus 2.1 (p (p = q)) = q. Ilustrasi: α = β T α Terjadi β Berlaku Contoh 2.1 Buktikan, bahwa salah satu titik potong grafik fungsi dengan persamaan y = f(x) = 3x 3 3x 2 1 terhadap sumbu X berada di interval [1, 2]. 11

12 Penyelesaian: Di dalam kalkulus berlaku sifat (implikasi) jika f kontinu pada interval [a, b], dan berlaku f(a) dan f(b) berbeda tanda, maka dapat ditemukan c [a, b] yang memenuhi f(c) = 0. Jadi implikasi ini bernilai benar. Fungsi y = f(x) = 3x 3 3x 2 1 kontinu pada [1, 2] dan f(1) < 0 serta f(2) > 0. Jadi anteseden implikasi terjadi, maka dapat disimpulkan terdapat x o [1, 2] yang berakibat f(x 0 ) = 3x 3 0 3x = 0 Jadi salah satu titik potong grafik fungsi f terhadap sumbu X berada di interval [1, 2]. 12

13 2.2 Hukum Kontraposisi Rumus 2.2 Ilustrasi: (p = q) ( q = p). α = β T β Terjadi ᾱ Berlaku Contoh 2.2 Buktikan, bahwa jika 1 + ( 1) n 0, maka n genap. Penyelesaian: Ingkaran n genap adalah n ganjil. Akibatnya ( 1) n = 1, sehingga 1 + ( 1) n = 0 yang merupakan ingkaran dari 1 + ( 1) n 0. Jadi kontraposisinya dapat dibuktikan, sehingga kalimat aslinya secara tidak langsung juga terbukti. 13

14 2.3 Reductio ad absurdum Rumus-rumus tautologi yang merupakan bentuk-bentuk reductio ad absurdum: Rumus 2.3 ( p = (q q)) = p. α = (β β) = α Benar : Tautologi α = (β β) Diturunkan dari α α T : Modus Ponens Contoh Buktikan, bahwa 2 bilangan irrasional. 14

15 Bukti: Yang akan dibuktikan pernyataan P : 2 bilangan irrasional. Diandaikan P berlaku, Dengan kata lain 2 bilangan rasional. Di Q berlaku sifat untuk setiap bilangan rasional r dapat dinyatakan dengan r = m n, dengan m dan n bilangan bulat, n 0 dan (m, n) yaitu faktor persekutuan terbesar dari m dan n sama dengan 1. 2 bilangan rasional, maka 2 = m n, untuk suatu bilangan bulat m dan n dengan n 0 dan (m, n) = 1 (Modus ponen), sehingga 2n 2 = ( 2n) 2 = m 2 = mm. Sesuai modus ponen dapat disimpulkan, m = 2c, dengan c bilangan bulat. Akibatnya 2n 2 = (2c)(2c) dan sesuai sifat kanselasi berlaku nn = n 2 = 2c 2, sehingga n = 2d untuk suatu bilangan bulat d. Akbiatnya (m, n) 2, kontradiksi (m, n) = 1 dan (m, n) 2. Yang benar P : 2 bilangan irrasional. 15

16 Rumus 2.4 ( p = p) = p. Ilustrasi: (α = α) = α Benar : Tautologi α = α α diturunkan dari α α T : Modus Ponens Contoh: Di dalam himpunan semua bilangan bulat notasi (x 1, x 2,, x n ) adalah simbol faktor persekutuan terbesar dari x 1, x 2,, x n. Buktikan, bahwa (x, y) = (y, z) = (x, z) = 1 = (x, y, z) = 1. 16

17 Bukti: Andaikan (x, y, z) > 1. Karena (x, y, z) faktor persekutuan x, y dan z, maka (x, y, z) x dan (x, y, z) y, sehingga (x, y, z) (x, y). Akibatnya 1 < (x, y) dan terjadi kontradiksi dengan (x, y) = 1. Jadi disimpulkan (x, y, z) = 1 Contoh: Di dalam semesta himpunan semua bilangan bulat berlaku sifat jika z bilangan prima dan z ab, dengan a dan b keduanya bulat, maka z a atau z b. Buktikan, bahwa jika z b n dengan n bulat positif, maka z b. Bukti: Andaikan z b. Karena z bb n 1, maka sesuai sifat bilangan prima z b atau z b n 1. Oleh karena z b, maka z b n 1, dan b n 1 = bb n 2. Jadi z b n 2, z b n 3, dan seterusnya. Pada akhirnya z b, sehingga dapat disimpulkan z b. 17

18 Rumus 2.5 ((p q) = q) = (p = q). Ilustrasi: ((α β) = β) = (α = β) T : Tautologi (α = β) = β T : β diturunkan dari α β α = β T : Modus Ponens Contoh: Dengan semesta pembicaraan himpunan semua bilangan real, buktikan bahwa jika untuk setiap ϵ 0 berlaku a b + ϵ, maka a b. 18

19 Bukti: Misalkan α : Untuk setiap ϵ 0 berlaku a b + ϵ, dan β : a b, sehingga yang akan dibuktikan adalah implikasi α = β. Diandaikan α = β berlaku. Jadi α β terjadi, yaitu berlaku untuk setiap ϵ 0 memenuhi a b + ϵ, tetapi a > b. Akibatnya a b > 0. Dipilih ϵ yang sama dengan a b 2, maka ϵ > 0 dan a b + ϵ = b + a b 2. Akibatnya 2a 2b + (a b), sehingga a b, yaitu terbukti β. Sesuai tautologi tebuktilah α = β. 19

20 Rumus 2.6 ((p q) = p) = (p = q). Ilustrasi: ((α β) = α) = (α = β) T : Tautologi (α = β) = α T : α diturunkan dari α β α = β T : Modus Ponens Contoh: Buktikan, bahwa jika a dan b bilangan real positif, maka 1 2 (a + b) ab. 20

21 Penyelesaian: Bukti tidak langsung : Misalkan α : a dan b positif, dan β : 1 2 (a + b) ab. Berarti yang harus dibuktikan adalah α = β. Diandaikan ingkaran α = β, yaitu α β terjadi. Maka a dan b positif, tetapi 1 2 (a + b) < ab. Akibatnya 1 4 (a2 + 2ab + b 2 ) = 1 4 (a + b)2 < ab, sehingga a 2 + 2ab + b 2 < 4ab. Jadi (a b) 2 = a 2 2ab + b 2 < 0, yang berarti a kompleks atau b kompleks, yaitu ingkaran dari a dan b real positif, sehingga terbukti α = β. 21

22 Rumus 2.7 p = (p = q). Dari tautologi ini dapat ditarik kesimpulan, bahwa dari sesuatu yang salah dengan langkah yang sahih pernyataan apapun dapat dibuktikan (Ex falso sequitur quod libet). Ilustrasi: α = (α = β) T : Tautologi α T : Karena ketentuan α = β α β T : Modus Ponens T : Karena ketentuan T : Modus ponens 22

23 Latihan 1. Buktikan, bahwa bentuk-bentuk berikut merupakan tautologi, jika mungkin tanpa menggunakan tabel. 1.1 p = ((p = q) = q)) 1.2 p = ((p q) = q) Modus tollendo ponens 1.3 ((p q) = r) ((r q) = p) 1.4 ((p = q) (r = s)) = ((p r) = (q s)) 1.5 (p = q) = (q r = r p) 2. Buktikan secara langsung maupun dengan reductio ad absurdum, bahwa banyaknya bilangan-bilangan prima adalah tak berhingga. 3. Buktikan, bahwa jika 1 2 (1 + ( 1)n ) ganjil, maka n genap. 4. Buktikan, bahwa jika p bilangan prima, maka p merupakan irrasional. 5. Diketahui segitiga sama sisi ABC dengan panjang sisi 1 terletak pada bujur sangkar AP QR, yaitu B terletak pada P Q dan C pada QR. Buktikan, bahwa luas segitiga BQC sama dengan jumlah luas segitiga AP B dan ARC. 6. Buktikan dengan reductio ad absurdum, bahwa akar-akar persamaan 23

24 bernilai bulat atau irrsional. x n + a 1 x n a n 1 x + a n = 0 7. Tunjukkan, bahwa di dalam himpunan semua bilangan bulat pernyataanpernyataan berikut ekuivalen 1. (x, y, z) = 1 4. (x, y) = 1 2. (x, z) = 1 5. (x, y) = (y, z) = (x, z) = (y, z) = 1 8. Dengan menggunakan pengetahuan di mata kuliah kalkulus buktikan, bahwa perpotongan grafik fungsi dengan persamaan y = 3x 3 3x 2 1 terhadap sumbu X hanya ada tepat satu titik. 9. Buktikan secara langsung maupun dengan reduction ad absurdum, bahwa jika n bulat dan n 2 habis dibagi 2, maka n juga habis dibagi Misalkan diketahui α i, dengan i = 1,, n adalah penyataan-pernyataan. Tunjukkan, bahwa untuk membuktikan cukup dibuktikan α 1 α 2 α n α 1 = α 2 = = α n = α 1 24

25 11. Diberikan 80 koin mata uang, terdiri dari 79 koin asli dengan bobot sama dan 1 koin palsu dengan bobot lebih berat. Dengan menggunakan timba- ngan berlengan sama, tentukan jumlah minimal banyaknya penimbangan dan bagaimana cara menimbangnya agar akhirnya diketahui koin yang palsu. 12. Lima buah kartu yaitu: A, B, C, D, E akan diberi nomor dari 0, 1, 2, 3 atau 4 tanpa ada yang sama dan dimulai dari kartu paling kiri, A. Misalnya A diberi nomor k. Kemudian kartu paling kanan diletakkan disebelah kiri kartu paling kiri, berturut-turut E, D dan seterusnya sampai sebanyak 4 k kartu. Kemudian kartu paling kiri diberi nomor l, yaitu satu di antara 0, 1, 2, 3, 4 selain k; selanjutnya secara berurutan dari kartu paling kanan, 4 l kartu dipindahkan ke sebelah kiri kartu yang paling kiri. Jika proses dilanjutkan dengan cara tersebut tunjukkan, bahwa langkah penomoran akan gagal. 25

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

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

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

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

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

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

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

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

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

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

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

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

LOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom LOGIKA MATEMATIKA LOGIKA Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Untuk menemukan suatu gagasan baru dari informasi dan gagasan yang telah ada, diperlukan proses berpikir. Proses ini dikenal

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

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

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

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

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

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

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

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

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

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

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

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

BAB 1 OPERASI PADA HIMPUNAN BAHAN AJAR STRUKTUR ALJABAR, BY FADLI

BAB 1 OPERASI PADA HIMPUNAN BAHAN AJAR STRUKTUR ALJABAR, BY FADLI BAB 1 OPERASI PADA HIMPUNAN Tujuan Instruksional Umum : Setelah mengikuti pokok bahasan ini mahasiswa dapat menggunakan operasi pada himpunan untuk memecahkan masalah dan mengidentifikasi suatu himpunan

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

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

BAB I HIMPUNAN. Contoh: Himpunan A memiliki 5 anggota, yaitu 2,4,6,8 dan 10. Maka, himpunan A dapat dituliskan: A = {2,4,6,8,10}

BAB I HIMPUNAN. Contoh: Himpunan A memiliki 5 anggota, yaitu 2,4,6,8 dan 10. Maka, himpunan A dapat dituliskan: A = {2,4,6,8,10} BAB I HIMPUNAN 1 1. Definisi Himpunan Definisi 1 Himpunan (set) adalah kumpulan dari objek yang berbeda. Masing masing objek dalam suatu himpunan disebut elemen atau anggota dari himpunan. Tidak ada spesifikasi

Lebih terperinci

BAB VI BILANGAN REAL

BAB VI BILANGAN REAL BAB VI BILANGAN REAL PENDAHULUAN Perluasan dari bilangan cacah ke bilangan bulat telah dibicarakan. Dalam himpunan bilangan bulat, pembagian tidak selalu mempunyai penyelesaian, misalkan 3 : 11. Timbul

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

RENCANA PROGRAM KEGIATAN PEMBELAJARAN SEMESTER (RPKPS) DAN BUKU DIKTAT PENGANTAR LOGIKA MATEMATIKA DAN HIMPUNAN

RENCANA PROGRAM KEGIATAN PEMBELAJARAN SEMESTER (RPKPS) DAN BUKU DIKTAT PENGANTAR LOGIKA MATEMATIKA DAN HIMPUNAN RENCANA PROGRAM KEGIATAN PEMBELAJARAN SEMESTER (RPKPS) DAN BUKU DIKTAT PENGANTAR LOGIKA MATEMATIKA DAN HIMPUNAN Budi Surodjo Jurusan Matematika Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas

Lebih terperinci

MATEMATIKA EKONOMI 1. Oleh : Muhammad Imron H

MATEMATIKA EKONOMI 1. Oleh : Muhammad Imron H MATEMATIKA EKONOMI 1 Oleh : Muhammad Imron H UNIVERSITAS GUNADARMA 015 Universitas Gunadarma Halaman BAB I HIMPUNAN A. Pengertian Himpunan Himpunan adalah kumpulan dari objek tertentu (dinamakan unsur,

Lebih terperinci

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

Logika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus. Logika Proposisi 1 I. Logika Proposisi Logika adalah bagian dari matematika, tetapi pada saat yang sama juga merupakan bahasa matematika. Pada akhir abad ke-19 dan awal abad ke-20, ada kepercayaan bahwa

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

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

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

1.1 Pengertian Himpunan. 1.2 Macam-macam Himpunan. 1.3 Relasi Antar Himpunan. 1.4 Diagram Himpunan. 1.5 Operasi pada Himpunan. 1.

1.1 Pengertian Himpunan. 1.2 Macam-macam Himpunan. 1.3 Relasi Antar Himpunan. 1.4 Diagram Himpunan. 1.5 Operasi pada Himpunan. 1. I. HIMPUNAN 1.1 Pengertian Himpunan 1.2 Macam-macam Himpunan 1.3 Relasi Antar Himpunan 1.4 Diagram Himpunan 1.5 Operasi pada Himpunan 1.6 Aljabar Himpunan Pengertian Himpunan 1. Apa yang dimaksud dengan

Lebih terperinci

HIMPUNAN. A. Pendahuluan

HIMPUNAN. A. Pendahuluan HIMPUNAN A. Pendahuluan Konsep himpunan pertama kali dicetuskan oleh George Cantor (185-1918), ahli mtk berkebangsaan Jerman Semula konsep tersebut kurang populer di kalangan matematisi, kurang diperhatikan,

Lebih terperinci

SISTEM BILANGAN REAL

SISTEM BILANGAN REAL SISTEM BILANGAN REAL Materi : 1.1 Pendahuluan Sistem Bilangan Real adalah himpunan bilangan real yang disertai dengan operasi penjumlahan dan perkalian sehingga memenuhi aksioma tertentu, ini merupakan

Lebih terperinci

BAB III HIMPUNAN. 2) Mahasiswa dapat menyebutkan relasi antara dua himpunan. 3) Mahasiswa dapat menentukan hasil operasi dari dua himpunan

BAB III HIMPUNAN. 2) Mahasiswa dapat menyebutkan relasi antara dua himpunan. 3) Mahasiswa dapat menentukan hasil operasi dari dua himpunan BAB III HIMPUNAN Tujuan Instruksional Umum Mahasiswa memahami pengertian himpunan, relasi antara himpunan, operasi himpunan, aljabar himpunan, pergandaan himpunan, serta himpunan kuasa. Tujuan Instruksional

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

BAB 6 EKUIVALENSI LOGIS

BAB 6 EKUIVALENSI LOGIS BAB 6 EKUIVALENSI LOGIS 1. Pendahuluan Bab ini akan membahas persamaan-persamaan antara dua buah ekspresi logika yang mungkin ekuivalen (sama), mungkin berbeda, yang kesamaan atau perbedaan tadi akan dibuktikan

Lebih terperinci

6. LOGIKA MATEMATIKA

6. LOGIKA MATEMATIKA 6. LOGIKA MATEMATIKA A. Negasi (Ingkaran) Negasi adalah pengingkaran terhadap nilai kebenaran suatu pernyataan. ~ p : tidak p p ~ p B S S B B. Operator Logika 1) Konjungsi adalah penggabungan dua pernyataan

Lebih terperinci

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

PERTEMUAN 2 TABEL KEBENARAN DADANG MULYANA. TABEL KEBENARAN (TB) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi. PEREMUAN 2 ABEL KEBENARAN DADANG MULYANA ABEL KEBENARAN (B) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi. ABEL 1 : B untuk proposisi dan negasinya p p MASALAH LOGIKA 1

Lebih terperinci

Konvers, Invers dan Kontraposisi

Konvers, Invers dan Kontraposisi MODUL 5 Konvers, Invers dan Kontraposisi Represented by : Firmansyah,.Kom A. TEMA DAN TUJUAN KEGIATAN PEMELAJARAN 1. Tema Konvers, Invers dan Kontraposisi 2. Fokus Pembahasan Materi Pokok 1. Konvers, invers

Lebih terperinci

INTERVAL, PERTIDAKSAMAAN, DAN NILAI MUTLAK

INTERVAL, PERTIDAKSAMAAN, DAN NILAI MUTLAK INTERVAL, PERTIDAKSAMAAN, DAN NILAI MUTLAK Departemen Matematika FMIPA IPB Bogor, 2012 (Departemen Matematika FMIPA IPB) Kalkulus I Bogor, 2012 1 / 19 Topik Bahasan 1 Sistem Bilangan Real 2 Interval 3

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

STMIK Banjarbaru EKUIVALENSI LOGIKA. 10/15/2012 H. Fitriyadi & F. Soesianto

STMIK Banjarbaru EKUIVALENSI LOGIKA. 10/15/2012 H. Fitriyadi & F. Soesianto 1 EKUIVALENSI LOGIKA 2 Pada tautologi dan kontradiksi, dapat dipastikan bahwa jika dua buah ekspresi logika adalah tautologi, maka kedua buah ekspresi logika tersebut ekuivalen secara logis, demikian pula

Lebih terperinci

Catatan Kuliah MA1123 Kalkulus Elementer I

Catatan Kuliah MA1123 Kalkulus Elementer I Catatan Kuliah MA1123 Kalkulus Elementer I Oleh Hendra Gunawan, Ph.D. Departemen Matematika ITB Sasaran Belajar Setelah mempelajari materi Kalkulus Elementer I, mahasiswa diharapkan memiliki (terutama):

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

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

- 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

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

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

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono bimo@te.ugm.ac.id Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang

Lebih terperinci

PERNYATAAN MAJEMUK & NILAI KEBENARAN

PERNYATAAN MAJEMUK & NILAI KEBENARAN PERNYATAAN MAJEMUK & NILAI KEBENARAN 1. Pernyataan Majemuk Perhatikan pernyataan hari ini hujan dan aku berjalan-jalan. Pernyataan tersebut terdiri dari dua pernyataan pokok/tunggal (prime sentence), yaitu

Lebih terperinci

G a a = e = a a. b. Berdasarkan Contoh 1.2 bagian b diperoleh himpunan semua bilangan bulat Z. merupakan grup terhadap penjumlahan bilangan.

G a a = e = a a. b. Berdasarkan Contoh 1.2 bagian b diperoleh himpunan semua bilangan bulat Z. merupakan grup terhadap penjumlahan bilangan. 2. Grup Definisi 1.3 Suatu grup < G, > adalah himpunan tak-kosong G bersama-sama dengan operasi biner pada G sehingga memenuhi aksioma- aksioma berikut: a. operasi biner bersifat asosiatif, yaitu a, b,

Lebih terperinci

Silabus. Tugas individu, tugas kelompok, kuis.

Silabus. Tugas individu, tugas kelompok, kuis. Silabus Nama Sekolah : SMK Mata Pelajaran : MATEMATIKA Kelas / Program : X / TEKNOLOGI, KESEHATAN, DAN PERTANIAN Semester : GANJIL Sandar Kompetensi: 1. Memecahkan masalah berkaitan dengan konsep operasi

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

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

UNIVERSITAS GADJAH MADA. Bahan Ajar:

UNIVERSITAS GADJAH MADA. Bahan Ajar: UNIVERSITAS GADJAH MADA FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM JURUSAN MATEMATIKA PROGRAM STUDI S1 MATEMATIKA Sekip Utara, Gedung Jurusan Matematika, Yogyakarta - 55281 Bahan Ajar: BAB / POKOK BAHASAN

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

Diktat Kuliah. Oleh:

Diktat Kuliah. Oleh: Diktat Kuliah TEORI GRUP Oleh: Dr. Adi Setiawan UNIVERSITAS KRISTEN SATYA WACANA SALATIGA 2015 Kata Pengantar Aljabar abstrak atau struktur aljabar merupakan suatu mata kuliah yang menjadi kurikulum nasional

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

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

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

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

RPKPS MATA KULIAH PROGRAM STUDI MATEMATIKA JURUSAN MATEMATIKA FMIPA UGM

RPKPS MATA KULIAH PROGRAM STUDI MATEMATIKA JURUSAN MATEMATIKA FMIPA UGM RPKPS MATA KULIAH PROGRAM STUDI MATEMATIKA JURUSAN MATEMATIKA FMIPA UGM 1 Judul, Kode, SKS Pengantar Logika Matematika Dan Himpunan, MMM 1201, 3 SKS 2 Silabus Semesta Pembicaraan, Kalimat Deklaratif, Ingkaran

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

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

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

KALKULUS BAB II FUNGSI, LIMIT, DAN KEKONTINUAN. DEPARTEMEN TEKNIK KIMIA Universitas Indonesia

KALKULUS BAB II FUNGSI, LIMIT, DAN KEKONTINUAN. DEPARTEMEN TEKNIK KIMIA Universitas Indonesia KALKULUS BAB II FUNGSI, LIMIT, DAN KEKONTINUAN DEPARTEMEN TEKNIK KIMIA Universitas Indonesia BAB II. FUNGSI, LIMIT, DAN KEKONTINUAN Fungsi dan Operasi pada Fungsi Beberapa Fungsi Khusus Limit dan Limit

Lebih terperinci

SISTEM BILANGAN REAL. 1. Sistem Bilangan Real. Terlebih dahulu perhatikan diagram berikut: Bilangan. Bilangan Rasional. Bilangan Irasional

SISTEM BILANGAN REAL. 1. Sistem Bilangan Real. Terlebih dahulu perhatikan diagram berikut: Bilangan. Bilangan Rasional. Bilangan Irasional SISTEM BILANGAN REAL Sebelum membahas tentag konsep sistem bilangan real, terlebih dahulu ingat kembali tentang konsep himpunan. Konsep dasar dalam matematika adalah berkaitan dengan himpunan atau kelas

Lebih terperinci

MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi)

MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi) MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi) Antonius Cahya Prihandoko Universitas Jember Indonesia Jember, 2015 Antonius Cahya Prihandoko (UNEJ) MDAS - Ekivalensi dan Kuantifikasi Jember, 2015 1 / 20

Lebih terperinci

Sistem Bilangan Real. Pendahuluan

Sistem Bilangan Real. Pendahuluan Sistem Bilangan Real Pendahuluan Kalkulus didasarkan pada sistem bilangan real dan sifat-sifatnya. Sistem bilangan real adalah himpunan bilangan real yang disertai operasi penjumlahan dan perkalian sehingga

Lebih terperinci

Perhatikan skema sistem bilangan berikut. Bilangan. Bilangan Rasional. Bilangan pecahan adalah bilangan yang berbentuk a b

Perhatikan skema sistem bilangan berikut. Bilangan. Bilangan Rasional. Bilangan pecahan adalah bilangan yang berbentuk a b 2 SISTEM BILANGAN Perhatikan skema sistem bilangan berikut Bilangan Bilangan Kompleks Bilangan Real Bilangan Rasional Bilangan Irasional Bilangan Bulat Bilangan Pecahan Bilangan bulat adalah bilangan yang

Lebih terperinci

MODUL LOGIKA MATEMATIKA

MODUL LOGIKA MATEMATIKA PERENCANAAN PEMBELAJARAN MATEMATIKA MODUL LOGIKA MATEMATIKA AUTHOR: Navel Mangelep UNIVERSITAS NEGERI MANADO FAKULTAS MATEMATIKA & ILMU PENGETAHUAN ALAM JURUSAN MATEMATIKA KATA PENGANTAR Salah satu penunjang

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

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

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

HIMPUNAN. Arum Handini Primandari, M.Sc Ayundyah Kesumawati, M.Si HIMPUNAN Arum Handini Primandari, M.Sc Ayundyah Kesumawati, M.Si 1. Himpunan kosong & semesta 2. Himpunan berhingga & tak berhingga Jenis-jenis himpunan 3. Himpunan bagian (subset) 4. Himpunan saling lepas

Lebih terperinci

Mata Kuliah : Peng. Logika Matematika dan Himpunan Hari/tanggal : Rabu, 31 Oktober 2012 Waktu : 120 menit Sifat : Buku Tertutup Dosen : Budi S.

Mata Kuliah : Peng. Logika Matematika dan Himpunan Hari/tanggal : Rabu, 31 Oktober 2012 Waktu : 120 menit Sifat : Buku Tertutup Dosen : Budi S. Mata Kuliah : Peng. Logika Matematika dan Himpunan Hari/tanggal : Rabu, 31 Oktober 2012 Waktu : 120 menit Sifat : Buku Tertutup Dosen : Budi S. 1. Tentukan jenis kalimat berikut. Kalimat tidak lengkap,

Lebih terperinci

5. 1 Mendeskripsikan pernyataan dan bukan pernyataan (kalimat terbuka)

5. 1 Mendeskripsikan pernyataan dan bukan pernyataan (kalimat terbuka) Sumber: Art and Gallery Standar Kompetensi 5. Menerapkan logika matematika dalam pemecahan masalah yang berkaitan dengan pernyataan majemuk dan pernyataan berkuantor Kompetensi Dasar 5. 1 Mendeskripsikan

Lebih terperinci

PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT

PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT PERTEMUAN 5 1.1 TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT Tautologi adalah suatu bentuk kalimat yang selalu bernilai benar (True) tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat penyusunnya,

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

MATEMATIKA BISNIS. Himpunan. Muhammad Kahfi, MSM. Modul ke: Fakultas Ekonomi Bisnis. Program Studi Manajemen.

MATEMATIKA BISNIS. Himpunan. Muhammad Kahfi, MSM. Modul ke: Fakultas Ekonomi Bisnis. Program Studi Manajemen. MATEMATIKA BISNIS Modul ke: Himpunan Fakultas Ekonomi Bisnis Muhammad Kahfi, MSM Program Studi Manajemen http://www.mercubuana.ac.id Konsep Konsep Himpunan merupakan suatu konsep yang paling mendasar bagi

Lebih terperinci

SOAL UJIAN SELEKSI CALON PESERTA OLIMPIADE SAINS NASIONAL 2014 TINGKAT PROVINSI

SOAL UJIAN SELEKSI CALON PESERTA OLIMPIADE SAINS NASIONAL 2014 TINGKAT PROVINSI HAK CIPTA DILINDUNGI UNDANG-UNDANG SOAL UJIAN SELEKSI CALON PESERTA OLIMPIADE SAINS NASIONAL 2014 TINGKAT PROVINSI BIDANG MATEMATIKA Waktu : 210 menit KEMENTERIAN PENDIDIKAN DAN KEBUDAYAAN DIREKTORAT JENDERAL

Lebih terperinci

PENGEMBANGAN SILABUS TAHUN PELAJARAN 2012/2013

PENGEMBANGAN SILABUS TAHUN PELAJARAN 2012/2013 PENGEMBANGAN SILABUS TAHUN PELAJARAN 01/013 NAMA SEKOLAH : SMK DIPONEGORO LEBAKSIU MATA PELAJARAN : MATEMATIKA KELAS / SEMESTER : X / 1 STANDAR KOMPETENSI : MEMECAHKAN MASALAH BERKAITAN DENGAN KONSEP OPERASI

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

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

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

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

Persamaan dan pertidaksamaan kuadrat BAB II

Persamaan dan pertidaksamaan kuadrat BAB II BAB II Misalkan a,b,c Є R dan a 0 maka persamaan yang berbentuk dinamakan persamaan kuadrat dalam peubah x. Dalam persamaan kuadrat ax bx c 0, a adalah koefisien dari x, b adalah koefisien dari x dan c

Lebih terperinci

UMPky. Matematika Dasar. Bahan Ajar. Haryadi. NIDN Universitas Muhammadiyah Palangkaraya

UMPky. Matematika Dasar. Bahan Ajar. Haryadi. NIDN Universitas Muhammadiyah Palangkaraya Bahan Ajar Matematika Dasar Haryadi NIDN 0003116401 Universitas Muhammadiyah Palangkaraya 2013 2 Daftar Isi 1 Aljabar Pernyataan 7 1.1 Pernyataan.............................. 7 1.2 Proposisi...............................

Lebih terperinci

MATEMATIKA 1. Pengantar Teori Himpunan

MATEMATIKA 1. Pengantar Teori Himpunan MATEMATIKA 1 Silabus: Logika, Teori Himpunan, Sistem Bilangan, Grup, Aljabar Linier, Matriks, Fungsi, Barisan dan deret, Beberapa Cara pembuktian Pengertian Himpunan Pengantar Teori Himpunan Himpunan adalah

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

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