KUANTOR (Minggu ke-7)

dokumen-dokumen yang mirip
BAB III INDUKSI MATEMATIKA

BAB III INDUKSI MATEMATIKA

KUANTOR KHUSUS (Minggu ke-8)

BAB III KUANTOR kuantor, 1. Kuantor Universal 3. Kuantor Eksistensial

Mahasiswa memahami kuantifikasi dan simbolisme logika. 2) Mahasiswa dapat menyebutkan hubungan antara kuantor eksistensial dan kuantor

PERNYATAAN (PROPOSISI)

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

Mahasiswa memahami kuantifikasi dan simbolisme logika. 2) Mahasiswa dapat menyebutkan hubungan antara kuantor eksistensial dan kuantor

PTI 206 Logika. Semester I 2007/2008. Ratna Wardani

KALKULUS PREDIKAT KALIMAT BERKUANTOR

KUANTOR SMTS 1101 / 3SKS LOGIKA MATEMATIKA. Disusun Oleh : Dra. Noeryanti, M.Si 31 MODUL LOGIKA MATEMATIKA

PERNYATAAN MAJEMUK & NILAI KEBENARAN

KALIMAT DEKLARATIF (Minggu ke-1 dan 2)

Bagaimana Cara Guru Matematika Membantu Siswanya Mempelajari Pernyataan Berkuantor

KALIMAT BERKUANTOR. Pertemuan 4 Senin, 11 Maret 2013

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

NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3)

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan

LOGIKA MATEMATIKA (Pendalaman Materi SMA)

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

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

BAB I LOGIKA MATEMATIKA

BAB II TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN

PENALARAN DALAM MATEMATIKA

I. PERNYATAAN DAN NEGASINYA

PERSAMAAN KUADRAT. Persamaan. Sistem Persamaan Linear

MA5032 ANALISIS REAL

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

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

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

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

Gerbang dan Rangkaian Logika

Matematika Industri I

Jadi penting itu baik, tapi jadi baik jauh lebih penting

BAB 2 : KALIMAT BERKUANTOR

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

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

KUANTIFIKASI Nur Insani, M.Sc

Tingkat-tingkat Berpikir Mahasiswa... (M. Andy Rudhito)

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

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

1 INDUKSI MATEMATIKA

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

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

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

HAPUS SALAH SATU BILANGAN DAN BERIKAN ALASAN, KENAPA BILANGAN ITU ANDA HAPUS.

PERTEMUAN Logika Matematika

FUNGSI DUA VARIABEL (TURUNAN PARSIAL) Kus Prihantoso Krisnawan. January 2, Yogyakarta. Pertemuan 7. Krisnawan. Fungsi. Diferensial Partial

RELASI DAN FUNGSI. A. Pengertian Relasi dan Fungsi

Program Kuliah Fondasi Matematika Pertemuan 4-7

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

RPKPS MATA KULIAH PROGRAM STUDI MATEMATIKA JURUSAN MATEMATIKA FMIPA UGM

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

LOGIKA Matematika Industri I

MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi)

Gerbang dan Rangkaian Logika Teknik Digital (TKE071207) Program Studi Teknik Elektro, Unsoed

Materi-3 PROPOSITION LOGIC. Properties of Sentences Inference Methods Quantifier Sentences

PENGANTAR ANALISIS REAL

LOGIKA MATEMATIKA I. PENDAHULUAN

Modul Ilmu Mantiq/Logika. Dosen: Ahmad Taufiq MA

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

PROPOSITION LOGIC LOGIKA INFORMATIKA. Properties of Sentences Inference Methods Quantifier Sentences. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta

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

Sistem Bilangan Kompleks (Bagian Pertama)

TEORI HIMPUNAN LOGIKA MATEMATIKA

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

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

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

Teori Dasar Logika (Lanjutan)

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

Aljabar Boole. Meliputi : Boole. Boole. 1. Definisi Aljabar Boole 2. Prinsip Dualitas dalam Aljabar

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

BAB I LOGIKA KALIMAT

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


Logika Predikat 1. Kita akan memulai bagian ini dengan dua argumen.

Logika Matematika Modul ke: Himpunan

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

5.3 RECURSIVE DEFINITIONS AND STRUCTURAL INDUCTION

Teori Himpunan Elementer

6. LOGIKA MATEMATIKA

BAB 6 ALJABAR BOOLE. 1. Definisi Dasar MATEMATIKA DISKRIT

MA1201 MATEMATIKA 2A Hendra Gunawan

PEMBINAAN TAHAP I CALON SISWA INVITATIONAL WORLD YOUTH MATHEMATICS INTERCITY COMPETITION (IWYMIC) 2010 MODUL ALJABAR

Logika, Himpunan, dan Fungsi

LOGIKA MATEMATIKA. Pernyataan

TINJAUAN PUSTAKA. Dalam bab ini akan dibahas beberapa konsep mendasar meliputi ruang vektor,

ANALISIS REAL. (Semester I Tahun ) Hendra Gunawan


BAB V HIMPUNAN ( ( dan dibaca : himpunan semua sedemikian hingga mempunyai sifat.

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

PERTEMUAN 3 DASAR-DASAR LOGIKA

Persamaan dan pertidaksamaan kuadrat BAB II

KALKULUS MULTIVARIABEL II

PENGARUH MODEL PEMBELAJARAN LEARNING CYCLE TERHADAP PEMAHAMAN KONSEP MATEMATIKA SISWA KELAS X SMA NEGERI 15 PADANG TAHUN PELAJARAN 2013/2014

Logika Predikat (Kalkulus Predikat)

URAIAN POKOK-POKOK PERKULIAHAN

Persamaan dan Pertidaksamaan Linear

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL

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

Transkripsi:

KUANTOR (Minggu ke-7) 1

4 Pendahuluan 1. Kuantor Universal: Untuk semua x berlaku atau Untuk setiap x berlaku. S P : Himpunan semua bilangan asli. 1. x > 1 merupakan kalimat terbuka 2. Untuk semua x berlakulah x > 1 merupakan kalimat deklaratif bernilai 2. Kuantor Eksistensial: Terdapat x sedemikian hingga atau Ada x sedemikian hingga S P : Himpunan semua bilangan asli 1. x > 1 merupakan kalimat terbuka 2. Terdapat x sedemikian hingga x > 1 merupakan kalimat deklaratif bernilai benar, sebab untuk x = 2 berlakulah x > 1. 2

Simbol Kuantor 1. Untuk semua x berlakulah x > 1 : ( x)p (x) - Semua x bersifat P - Setiap x mempunyai sifat P. - Untuk semua x berlaku sifat P. dengan sifat P : lebih besar daripada 1 2. Terdapat suatu x yang memenuhi (sifat) x > 1 ( x)p (x) - Terdapat x yang mempunyai sifat P - Beberapa x mempunyai sifat P. - Paling sedikit ada satu x yang mempunyai sifat P. 3

Perhatian: 1. Simbol kuantor mengikat lebih kuat dibandingkan kata penghubung lainnya. 2. Di bidang ilmu eksakta sifat-sifat (hukum-hukum) yang berlaku umum tidak jarang kuantor universal tidak ditulis Contoh: 1. ( x)p(x) (α β) yang dimaksud: (( x)p(x)) (α β) 2. x n 1 = (x 1)(x n 1 + x n 2 + + 1) seharusnya: ( x).x n 1 = (x 1)(x n 1 + x n 2 + + 1). 4

4.1 Kuantor Jamak S P himpunan semua bilangan real 1. ( x)( y)( y < x < y = x 2 < y 2 ). 2. ( x)( y)(x y = 0 = y + x). 3. ( x)( y)(x + y = y + x = y). 4. ( x)((x 0) = ( y)(xy = yx = 1)). Apa yang dimaksud? Bagaimana mengucapkannya? 5

4.2 Urutan, Sifat-sifat dan Hubungan Antar Kuantor Misalkan p adalah suatu predikat tertentu: 1. ( x)( y).p(x, y), juga ditulis: ( x, y).p(x, y). Dibaca : Untuk semua x dan y berlaku x dan y bersifat p. 2. ( x)( y).p(x, y). Dibaca : Untuk semua x terdapat y yang memenuhi x dan y bersifat p. 3. ( x)( y).p(x, y). Dibaca : Terdapat x yang memenuhi untuk semua y berlaku x dan y mempunyai sifat p. 4. ( x)( y).p(x, y), juga ditulis: ( x, y).p(x, y). Dibaca : Terdapat x dan y yang memenuhi sifat p. 6

Pertukaran Letak Kuantor Teorema 4.1 Teorema 4.2 Teorema 4.3 ( x)( y).q(x, y) ( y)( x).q(x, y). ( x)( y).q(x, y) ( y)( x).q(x, y). ( x)( y).q(x, y) = ( y)( x).q(x, y). Belum tentu berlaku sebaliknya Contoh: 1. ( x)( y)(x y = 0 = y + x), T 2. ( x)( y)(x y = 0 = y + x), F dengan S P himpunan semua bilangan nyata. 7

4.3 Ingkaran Kalimat Berkuantor Ingkaran Semua x mempunyai sifat p : 1. Tidak benar semua x mempunyai sifat p, 2. Tidak semua x mempunyai sifat p Maknanya sama dengan kalimat Ada x yang tidak mempunyai sifat p. Teorema 4.4 ( x).p(x) ( x).p(x). 8

Contoh: S P : himpunan semua bilangan nyata, tentukan ingkaran dari kalimat-kalimat berikut ini: 1. ( x)(x 2 + 2x + 1 1) 2. ( x)( a x a = x 2 a 2 ) Penyelesaian: 1. ( x)x 2 + 2x + 1 1 Sama dengan: ( x)(x 2 + 2x + 1 1) Atau: ( x)(x 2 + 2x + 1 < 1) 2. ( x) a x a = x 2 a 2 Sama dengan: ( x) a x a x 2 a 2 Dengan kata lain: ( x)( a x a x 2 a 2 ) Mempunyai makna sama dengan: ( x)( a x a x 2 > a 2 ) 9

Teorema 4.5 ( x).p(x) ( x).p(x). Contoh: Tentukan ingkaran dari kalimat-kalimat berikut ini: 1. Ada mahasiswa yang IPK-nya lebih besar daripada 3,85. 2. Dengan semesta himpunan bilangan nyata: ( x)(x 2 2x + 1 < 1) Penyelesaian: 1. Tidak ada mahasiswa yang IPK-nya lebih besar daripada 3,85. Sama dengan: Semua mahasiswa IPK-nya tidak lebih besar daripada 3,85 Atau: Semua mahasiswa IPK-nya kurang dari atau sama dengan 3,85. 2. ( x)x 2 2x + 1 < 1 Sama dengan: ( x)(x 2 2x + 1 < 1) Atau: ( x)(x 2 2x + 1 1) 10

4.4 Ingkaran Kuantor Jamak Teorema 4.6 Ingkaran kuantor jamak: 1. ( x)( y).p(x, y) ( x)( y).p(x, y) 2. ( x)( y).p(x, y) ( x)( y).p(x, y) 3. ( x)( y).p(x, y) ( x)( y).p(x, y) 4. ( x)( y).p(x, y) ( x)( y).p(x, y) Contoh: S P : Himpunan semua bilangan nyata. Tentukan ingkaran: 1. ( x)( y)(x + y = 0). 2. ( l)( ϵ)(ϵ > 0 = P (l, ϵ)) 3. ( x)( y)(x > y ( u)(u > 0 x = y + u)). 11

Penyelesaian: 1. Ingkaran dari: ( x)( y)(x + y = 0) adalah : ( x)( y)(x + y = 0) ( x)( y)(x + y = 0) ( x)( y)x + y = 0 ( x)( y)(x + y 0) 2. Ingkaran dari: ( l)( ϵ)(ϵ > 0 = P (l, ϵ)) adalah : ( l)( ϵ)(ϵ > 0 = P (l, ϵ)) ( l)( ϵ)(ϵ > 0 = P (l, ϵ)) ( l)( ϵ)ϵ > 0 = P (l, ϵ) ( l)( ϵ)(ϵ > 0 P (l, ϵ)) 3. Untuk Latihan 12

4.5 Nilai Kebenaran Kalimat Berkuantor Contoh: 1. ( x).x 2 x > 1 F 2. ( x).x 2 x > 1 T 3. ( x). x 2 = x F 4. ( x). x 2 = x T 5. ( x)(x > 0 = ( y)( 1 y < x)) T 6. ( x)( y)( x y = 0) F 7. ( x)( y)(x y = ( z)(x < z < y y < z < x)) T 13

Contoh: Semesta pembicaraan adalah himpunan bilangan 0, 1, 2, 3 dan 4. Tentukan nilai logika dari kalimat berikut ini. 1. ( x).x 1 T 2. ( x).x 2 x > x 1 T 3. ( x).x 2 16 T 4. ( x). x 2 = x F 14

Latihan 1. S P : himpunan semua manusia. Tulislah penyataan-pernyataan ini dengan menggunakan kauantor 1.1 Ada manusia yang suka berolah raga tetapi tidak pandai 1.2 Ada mahasiswa yang pandai dan suka berolah raga. 1.3 Semua manusia yang tidak pandai tetapi suka berolah raga pasti bukan mahasiswa. 1.4 Ada manusia yang suka berolah raga tetapi bukan mahasiswa 2. S P : himpunan semua bilangan nyata. Ucapkanlah dengan menggunakan bahasa sehari-hari (dengan makna yang sama dengan bentuk simbolnya). Selanjutnya tentukan nilai kebenaraannya. 2.1 ( y)( x)(x y) 2.2 ( y)( x)(yx = xy = 0) 2.3 ( x)(( ϵ)(ϵ > 0 = x < 0) = x = 0) 2.4 ( x)( y)(x > y > 0 x 2 < y 2 ) 3. Tentukanlah ingkaran bentuk simbolisma dari kalimat-kalimat Soal 1.1-1.6 dan 2.1-2.7, kemudian terjemahkan dalam bahasa sehari-hari, dan tentukan nilai kebenarannya. 15