KUANTIFIKASI Nur Insani, M.Sc

dokumen-dokumen yang mirip
BAB 2 : KALIMAT BERKUANTOR


LANDASAN MATEMATIKA Handout 4 (Kuantor)

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

REPRESENTASI PENGETAHUAN

KALKULUS PREDIKAT KALIMAT BERKUANTOR

LOGIKA MATEMATIKA I. PENDAHULUAN

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

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

BAB I LOGIKA MATEMATIKA

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

KUANTIFIKASI (QUANTIFICATION) Drs. C. Jacob, M.Pd

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan

PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR 1)

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

LOGIKA Matematika Industri I

Matematika Industri I

LOGIKA. Arum Handini Primandari

PENALARAN DALAM MATEMATIKA

Logika Predikat. Contoh Soal. Toni Bakhtiar. September Departemen Matematika IPB. Toni Bakhtiar Logika Predikat September / 11

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

PERNYATAAN (PROPOSISI)

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

KALIMAT BERKUANTOR. Pertemuan 4 Senin, 11 Maret 2013

HIMPUNAN MODUL PERKULIAHAN. Pengertian dan berbagai macam bentuk himpunan Operasi dasar himpunan

LOGIKA MATEMATIKA (Pendalaman Materi SMA)

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

kusnawi.s.kom, M.Eng version

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

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

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

Modul ke: Logika Matematika. Himpunan. Fakultas FASILKOM. Bagus Priambodo. Program Studi SISTEM INFORMASI.

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

RENCANA PELAKSANAAN PEMBELAJARAN

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

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

BAB 6 LOGIKA MATEMATIKA

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

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

PERTEMUAN Logika Matematika

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

Jadi penting itu baik, tapi jadi baik jauh lebih penting

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

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

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

PERNYATAAN MAJEMUK & NILAI KEBENARAN

SUKU BANYAK. A. Teorema Sisa 1) F(x) = (x b) H(x) + S, maka S = F(b) 2) F(x) = (ax b) H(x) + S, maka S = F( a

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

Bagaimana Cara Guru Matematika Membantu Siswanya Mempelajari Pernyataan Berkuantor

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

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL

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

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

LOGIKA. Logika Nilai kebenaran pernyataan majemuk Ingkaran suatu pernyataan Penarikan kesimpulan. A. Pernyataan, Kalimat Terbuka, Ingkaran.

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

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

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

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

BAB III DASAR DASAR LOGIKA

LOGIKA MATEMATIKA. (Pembelajaran Matematika SMA) Oleh: H. Karso

Logika. Modul 1 PENDAHULUAN

KUANTOR (Minggu ke-7)

Pertemuan 1. Pendahuluan Dasar-Dasar Logika

MATEMATIKA DISKRIT LOGIKA

LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi)

Logika Matematika. Cece Kustiawan, FPMIPA, UPI

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

A. Pengertian Logika B. Pernyataan C. Nilai Kebenaran

Logika, Himpunan, dan Fungsi

I. PERNYATAAN DAN NEGASINYA

Program Kuliah Fondasi Matematika Pertemuan 4-7

BAB 3 TABEL KEBENARAN

MODUL 3 OPERATOR LOGIKA

SUMBER BELAJAR PENUNJANG PLPG 2017 MATA PELAJARAN/PAKET KEAHLIAN MATEMATIKA BAB IX LOGIKA MATEMATIKA

LOGIKA INFORMATIKA PROPOSITION LOGIC. Materi-2. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta

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

HEURISTIK UNTUK MEMPERCEPAT PEMBUKTIAN VALIDITAS ARGUMEN DENGAN TABLO SEMANTIK DI LOGIKA PREDIKAT

KALIMAT DEKLARATIF (Minggu ke-1 dan 2)

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

MATEMATIKA. Sekolah Menengah Kejuruan (SMK) Kelas XI. To ali. Kelompok Penjualan dan Akuntansi. Pusat Perbukuan Departemen Pendidikan Nasional

KALKULUS PERNYATAAN. Totologi & Kontradiksi. Tingkat Kekuatan Operator. Tabel Kebenaran 9/30/2013. Nur Insani, M.Sc

LOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3.

MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi)

LOGIKA MATEMATIKA Menuju TKD 2014

MA1201 KALKULUS 2A (Kelas 10) Bab 7: Teknik Pengintegral

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

Dasar Logika Matematika

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

LOGIKA. Kegiatan Belajar Mengajar 1

Modul Matematika X Semester 2 Logika Matematika

MA1201 KALKULUS 2A (Kelas 10) Bab 7: Teknik Pengintegral

ANALISIS REAL. (Semester I Tahun ) Hendra Gunawan

Mahdhivan Syafwan. PAM 123 Pengantar Matematika

Argumen premis konklusi jika dan hanya jika Tautolog

Logika Matematika. Bab 1

KUANTOR. A. Fungsi Pernyataan

Program Studi Teknik Informatika STMIK Tasikmalaya

PROPOSISI MAJEMUK. dadang mulyana

Transkripsi:

KUANTIFIKASI Nur Insani, M.Sc

Pada validitas : Banyak argumen valid, namun validitasnya tak dapat diuji dengan alat uji validitas yang ada. 2

Bagaimana Validitas Argumen ini? Semua kucing adalah hewan menyusui (pr) Pussy adalah seekor kucing (pr) Jadi, Pussy adalah hewan menyusui (kon) Validitas argumen tersebut tergantung pada tafsiran pernyataan tunggalnya. Apakah Pussy nama seekor kucing? 3

Cara lain adalah validitas yang didasarkan pada hubungan kalimat (kaitan antara subyek dan predikat). Contoh : Puppy adalah seekor kucing Puppy Seekor kucing - Subyek - Predikat Hubungan antara subyek dan predikat akan memberikan tafsiran terhadap benar t i d a k n y a k a l i m a t. 4

Untuk memudahkan analisis, dibuat simbol kalimat tunggal yang memuat komponen s u b y e k - p r e d i k a t. Pussy adalah seekor kucing S Pussy adalah hewan menyusui P S P 5

Bila : Pussy disimbolkan dengan. Seekor kucing disimbolkan dengan K Hewan menyusui disimbolkan dengan H Bila : Predikat disimbolkan dengan huruf besar Subyek disimbolkan dengan huruf kecil Maka : Pussy adalah seekor kucing Pussy adalah hewan menyusui P = Kp = Hp 6

Contoh lain : Yusuf Ali Umar Manusia Yusufadalahmanusia Ali adalah manusia Umar adalah manusia Lambang umumnya = y = a = u = M My Ma Mu Mx 7

My,Ma,Mu adalah merupakan kalimat deklaratif. Mx Bukan merupakan pernyataan. Mx disebut sebagai fungsi proposisi. Fungsi proposisi Mx akan menjadi pernyataan bila variabel individualnya (x) diganti/disubtitusi dengan konstanta individual. Instantiasi : adalah suatu cara untuk mensubtitusi variabel individual dengan kontanta i n d i v i d u a l. 8

Mx dikenal juga sebagai kalimat tunggal. Lawan dari kalimat tunggal adalah kalimat umum. Kalimat umum adalah generalisasi. Ciri dari kalimat yang general adalah menggunakan kata : semua, untuk setiap Kalimat general disebut dengan Kuantor. Kuantor Umum / Universal Kuantor Khusus / Eksistensial 9

Contoh Kalimat tunggal Manusia adalah fana = Fm Contoh kalimat general Semua manusia adalah fana Untuk setiap manusia, maka manusia itu adalah fana Kuantor Universal Kuantor Eksistensial Ada manusia yang fana Paling sedikit ada satu manusia yang fana 10

Pendahuluan Dumbo adalah seekor gajah. dapat ditulis : G(d) Notasi diatas dibaca : gajah Dumbo. Disebut fungsi proposional. Badu seorang mahasiswa. dapat ditulis : M(b) Perlu diingat: predikat ditulis dengan huruf besar, variabel atau konstanta atau objek ditulis huruf kecil. 2

Persoalan muncul pada variabel-variabel yang sering atau kadang-kadang muncul, atau bersifat umum serta yang tidak bersifat khusus, seperti manusia, binatang dsb. Contoh : 1. Semua gajah mempunyai belalai. 2. Beberapa mahasiswa mengambil mata kuliah logika matematika. 3. Setiap mahasiswa harus belajar dari buku teks. 4. Ada penduduk kota Jayakarta yang terkena Flu Burung. 3

Kuantor Universal Definisi: Jika A suatu ekspresi logika dan x adalah variabel, maka jika ingin menentukan bahwa A adalah bernilai benar untuk semua nilai yang dimungkinkan untuk x akan ditulis ( x)a. Disini x disebut kuantor universal, dengan A adalah scope dari kuantor. Variabel x disebut terikat (bound) dengan kuantor. Simbol menggantikan kata untuk semua. 4

Semua gajah mempunyai belalai. Dapat ditulis: G(x) B(x) Dibaca: Jika x adalah gajah, maka x mempunyai belalai Selanjutnya, ditulis: ( x)(g(x) B(x)) Dibaca: Untuk semua x, jika x adalah gajah, maka x mempunyai belalai 5

Notasi Kuantor Contoh Semua manusia adalah fana Untuk setiap obyek, maka obyek itu adalah fana Untuk setiap x maka x adalah fana Untuk setiap x, Fx ( x), Fx A Untuk setiap x, maka x mempunyai sifat F Untuk setiap x berlakulah Fx 11

Simbol adalah kuantor yang menggunakan kata semua atau kata apa saja yang artinya sama dengan semua, misalnya setiap. disebut kuantor universal (universal quantifier). Kuantor universal mengindikasikan bahwa sesuatu bernilai benar untuk semua individual- individualnya. 6

Setiap mahasiswa harus belajar dari buku teks. Selanjutnya, ditulis: ( x)(m(x) B(x)) Dibaca: Untuk semua x, jika x adalah mahasiswa, maka x harus belajar dari buku teks 7

Setiap bilangan prima adalah ganjil. Selanjutnya, ditulis: ( x)(p(x) O(x)) Dimana P mengganti bilangan prima, sedangkan O mengganti ganjil (odd). Dibaca: Untuk semua x, jika x adalah bilangan prima, maka x adalah ganjil 8

Langkah untuk melakukan pengkuantoran universal : Perhatikan pernyataan berikut ini : Logika & Himpunan 2013 Semua mahasiswa harus rajin belajar Untuk melakukan pengkuantoran universal pada pernyataan tersebut maka dilakukan langkahlangkah seperti berikut : 1. Carilah lingkup (scope) dari kuantor universalnya, yaitu : Jika x adalah mahasiswa, maka x harus rajin belajar. Selanjutnya akan ditulis : mahasiswa(x) Nur harus Insani - nurinsani@uny.ac.id rajin belajar(x) 9

2. Berilah kuantor universal di depannya ( x)(mahasiswa(x) harus rajin belajar(x)) 3. Ubahlah menjadi suatu fungsi : ( x)(m(x) B(x)) 10

Contoh: 1. Semua tanaman hijau membutuhkan air untuk tumbuh. Jika x adalah tanaman hijau, maka x membutuhkan air untuk tumbuh Tanaman hijau(x) membutuhkan air untuk tumbuh(x) ( x) (Tanaman hijau(x) membutuhkan air untuk tumbuh(x)) ( x)(t(x) A(x)) 11

2. Semua artis adalah cantik. Jika x adalah artis, maka x cantik, Artis(x) cantik(x). ( x)( Artis(x) cantik(x)) ( x)(a(x) C(x)) 12

Kuantor Eksistensial Definisi: Jika A suatu ekspresi logika dan x adalah variabel, maka jika ingin menentukan bahwa A adalah bernilai benar untuk untuk sekurang-kurangnya satu dari x, maka akan ditulis (Ǝx)A. Disini Ǝx disebut kuantor eksistensial, dengan A adalah scope dari kuantor. Variabel x disebut terikat (bound) dengan kuantor. Simbol Ǝ menggantikan kata ada, beberapa atau tidak semua. 13

Ada bilangan prima yang genap. Selanjutnya, ditulis: (Ǝx)(P(x) Λ E(x)) Dimana P mengganti bilangan prima, sedangkan E mengganti genap (even). Dibaca: Ada x, yang x adalah bilangan prima dan x adalah genap 14

Contoh Ada paling sedikit satu manusia yang fana Ada paling sedikit satu x, sedemikian sehingga Fx ( x), Fx E 12

Ǝ adalah kuantor yang menggunakan kata ada atau kata apa saja yang artinya sama dengan tidak semua atau beberapa. Ǝ disebut kuantor universal (universal existential). Kuantor universal mengindikasikan bahwa sesuatu kadang-kadang bernilai benar untuk individual- invidualnya. 15

Langkah untuk melakukan pengkuantoran eksistensial : Perhatikan pernyataan berikut ini : Logika & Himpunan 2013 Ada pelajar yang memperoleh beasiswa berprestasi Untuk melakukan pengkuantoran eksistensial pada pernyataan tersebut maka dilakukan langkahlangkah seperti berikut : 1. Carilah lingkup (scope) dari kuantor eksistensialnya, yaitu : Ada x yang adalah pelajar, dan x memperoleh beasiswa berprestasi. Selanjutnya akan ditulis : Pelajar(x) Λ memperoleh beasiswa berprestasi(x) 16

2. Berilah kuantor eksistensial di depannya (Ǝx) (Pelajar(x) Λ memperoleh beasiswa berprestasi(x)) 3. Ubahlah menjadi suatu fungsi : (Ǝx)(P(x) Λ B(x)) 17

Contoh: 1. Beberapa orang rajin beribadah. Ada x yang adalah orang, dan x rajin beribadah (Ǝx)(Orang(x) Λ rajin beribadah(x)) (Ǝx)(O(x) Λ I(x)) 18

2. Ada binatang yang tidak mempunyai kaki. Terdapat x yang adalah binatang, dan x tidak mempunyai kaki. (Ǝx)(binatang(x) Λ tidak mempunyai kaki(x)) (Ǝx)(B(x) Λ K(x)) 19

Perlu diingat bahwa jangan mengabaikan tanda kurung untuk fungsi dibelakang kuantor karena mempengaruhi proses manipulasinya. Perhatikan dua contoh di bawah yang kelihatannya sama tetapi berbeda: ( x)(m(x) B(x)) ( x)m(x) B(x) 20

Dari berbagai contoh di sebelumnya, dapat kita simpulkan bahwa : Jika pernyataan memakai kuantor universal ( ), maka digunakan perangkai implikasi ( ), yaitu Jika semua...maka... Jika pernyataan memakai kuantor eksistensial (Ǝ), maka digunakan perangkai konjungsi (Λ), yaitu Ada...yang...dan.... 21

Negasi (Ingkaran) Kuantor Ingkaran kalimat semua x bersifat p(x) adalah Ada x yang tidak bersifat p(x) Ingkaran kalimat Ada x yang bersifat q(x) adalah Semua x tidak bersifat q(x) 22

Ingkaran Kuantor Universal Ingkaran dari kuantor universal adalah kuantor ekstensial : ~ ( x)p(x) ( x) ~ P(x) Ingkaran dari semua (setiap).. ada (beberapa).yang tidak.. 23

Misalkan : p : semua bilangan bulat adalah positif ( x)(b(x) P(x)) ~p : ada bilangan bulat yang tidak positif (Ǝx)(B(x) Λ ~P(x)) q : semua bilangan asli adalah positif ( x)(a(x) P(x)) ~q : beberapa bilangan asli yang tidak positif (Ǝx)(A(x) Λ ~P(x)) 24

Ingkaran Kuantor Eksistensial Ingkaran dari kuantor ekstensial adalah kuantor universal : ~ ( x)p(x) ( x) ~ P(x) Ingkaran dari ada (beberapa / terdapat) semua (setiap).. tidak.. 25

Misalkan : p : Ada bilangan prima adalah bilangan genap (Ǝx)(P(x) Λ G(x)) ~p : semua bilangan prima bukan bilangan genap ( x)(p(x) ~G(x)) q : Ada wanita yang menyukai sepak bola (Ǝx)(W(x) Λ B(x)) ~q : semua wanita tidak menyukai sepak bola ( x)(w(x) ~B(x)) 26