LANDASAN MATEMATIKA Handout 4 (Kuantor)

dokumen-dokumen yang mirip
KALKULUS PREDIKAT KALIMAT BERKUANTOR

KUANTIFIKASI Nur Insani, M.Sc

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

MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi)

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

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

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

LOGIKA MATEMATIKA I. PENDAHULUAN

BAB I LOGIKA MATEMATIKA

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

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

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

KUANTOR. A. Fungsi Pernyataan

Matematika Industri I

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

LOGIKA. Arum Handini Primandari

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

LANDASAN MATEMATIKA Handout 1 (Himpunan)

LANDASAN MATEMATIKA Handout 2

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

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

PENALARAN DALAM MATEMATIKA

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

LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi)

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

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

Modul Matematika X Semester 2 Logika Matematika

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

BAB 6 LOGIKA MATEMATIKA

PEMBUKTIAN MATEMATIKA

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

LOGIKA MATEMATIKA (Pendalaman Materi SMA)

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

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

KALIMAT BERKUANTOR. Pertemuan 4 Senin, 11 Maret 2013

BAHAN AJAR LOGIKA MATEMATIKA

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan

Mahdhivan Syafwan. PAM 123 Pengantar Matematika

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

LOGIKA Matematika Industri I

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

TELAAH BAHAN BELAJAR MANDIRI Oleh Sufyani P. Hasil Telaah

PERTEMUAN Logika Matematika

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

PERNYATAAN (PROPOSISI)

LOGIKA MATEMATIKA Talisadika Maifa

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

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

MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

KATA PENGANTAR. Assalamu alaikum Wr. Wb.

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

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

kusnawi.s.kom, M.Eng version

Catatan Kuliah MA1123 Kalkulus Elementer I

Logika, Himpunan, dan Fungsi

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

I. PERNYATAAN DAN NEGASINYA

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

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

FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA SILABUS LOGIKA

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

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

TEKNIK PEMBUKTIAN. (Yus Mochamad Cholily)

Mendeskripsikan Himpunan

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

Logika. Modul 1 PENDAHULUAN

CALCULUS PREDICATE, SENTENCES REPRESENTATION LECTURE 8. DR. Herlina Jayadianti., ST., MT

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

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

PERNYATAAN MAJEMUK & NILAI KEBENARAN

LOGIKA MATEMATIKA. Modul Matematika By : Syaiful Hamzah Nasution


RENCANA PELAKSANAAN PEMBELAJARAN

LIMIT FUNGSI. A. Menentukan Limit Fungsi Aljabar A.1. Limit x a Contoh A.1: Contoh A.2 : 2 4)

MATEMATIKA DISKRIT LOGIKA

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

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

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

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

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

Kalkulus predikat banyak digunakan dalam beberapa bahasa pemrograman logik maupun untuk aplikasi tertentu misalkan dalam teori kecerdasan buatan.

Bahan kuliah Matematika Diskrit. Himpunan. Oleh: Didin Astriani P, M.Stat. Fakultas Ilkmu Komputer Universitas Indo Global Mandiri

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?

KED INTEGRAL JUMLAH PERTEMUAN : 2 PERTEMUAN TUJUAN INSTRUKSIONAL KHUSUS: Materi : 7.1 Anti Turunan. 7.2 Sifat-sifat Integral Tak Tentu KALKULUS I

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

1.6 RULES OF INFERENCE

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

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

RENCANA PERKULIAHAN SEMESTER (RPS) PROGRAM STUDI PGSD SEMESTER GASAL 2012/2013 FKIP UNIVERSITAS PANCA MARGA PROBOLINGGO

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

ANALISIS REAL. (Semester I Tahun ) Hendra Gunawan

TAHAP II PENALARAN : PROPOSISI

Matematika Diskrit. Nelly Indriani Widiastuti S.Si., M.T Prodi Teknik Informatika UNIKOM


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 2 : KALIMAT BERKUANTOR

Program Kuliah Fondasi Matematika Pertemuan 4-7

Transkripsi:

LANDASAN MATEMATIKA Handout 4 (Kuantor) Tatik Retno Murniasih, S.Si., M.Pd. tretnom@unikama.ac.id / tatikretno@gmail.com

Standar Kompetensi Mahasiswa dapat mengerti dan memahami kuantor sehingga dapat menyelesaikan permasalahan yang ada

Tautologi, Ekivalen dan Kontradiksi a. Tautologi Setiap pernyataan yang bernilai benar, untuk setiap nilai kebenaran dari komponen-komponennya b. Ekivalen Dua buah pernyataan dikatakan ekivalen (berekivalensi logis) jika kedua pernyataan itu mempunyai nilai kebenaran yang sama. c. Kontradiksi Setiap pernyataan yang selalu bernilai salah, untuk setiap nilai kebenaran dari komponen-komponen disebut kontradiksi. Karena kontradiksi selalu bernilai salah, maka kontradiksi merupakan ingkaran dari tautologi dan sebaliknya.

Fungsi Proposisi Semua kucing adalah hewan menyusui Cao adalah seekor kucing Jadi, Cao adalah hewan menyusui Argumen di atas valid, namun apakah validitas dapat diuji dengan metode yang telah dipelajari?

Fungsi Proposisi Perhatikan! Cao adalah seekor kucing (pernyataan tunggal) Cao = subyek adalah seekor kucing = predikat

Simbol untuk ciri khusus gunakan huruf balok Cao = C Seekor kucing = K Hewan menyusui = H

Notasi Cao adalah seekor kucing Cao adalah hewan menyusui = Kc = Hc Aryanti adalah manusia??? Bram adalah manusia??? Cicha adalah manusia??? Lambang untuk ketiga pernyataan tunggal di atas dapat kita ganti dengan Mx dimana x adalah variabel yang dapat diganti dengan konstanta. Pernyataan Ma, Mb dan Mc mempunyai nilai kebenaran B atau S, sedangkan Mx bukan pernyataan, mengapa? Ungkapan Mx atau Hx disebut fungsi proposisi

Instantiasi dari Hx Aryanti adalah bukan manusia??? Bram adalah bukan manusia??? Cicha adalah bukan manusia???

Kuantor Universal / Semua manusia adalah fana Untuk setiap obyek, obyek adalah fana Untuk setiap x, x adalah fana Sesuai pemberian simbul pada pernyataan tunggal, menjadi: Untuk setiap x, Mx Untuk setiap (semua) x = Kuantor Universal ( x) Mx

Contoh 1. Misalkan Mx : x+2 > 0. Maka M (-1/2) = -1/2 +2 > 0 adalah pernyataan yang benar 2. Misalkan x adalah bilangan Real, maka ( x) [x 2 + 2 > 0] mempunyai nilai kebenaran B 3. Misalkan x adalah bilangan Real,maka ( x) [x 2 + 1 > 0] nilai kebenarannya adalah salah

Kuantor Khusus Sesuatu adalah fana Ada paling sedikit satu yang fana Ada sekurang-kurangnya satu yang fana Ada paling sedikit satu obyek, sedemikian rupa sehingga obyek itu adalah fana Ada paling sedikit satu x, sedemikian rupa sehingga x adalah fana Ada paling sedikit satu x, sedemikian rupa sehingga Mx ( x) Mx dibaca Ada paling sedikit satu x, sedemikian rupa sehingga Mx, atau beberapa x, sehingga berlaku Mx.

Contoh 1. ( x) [x 2 + 1 = 0] dibaca? Nilai kebenaran? 2. ( x) [2x + 5 2 + 2x] dibaca? Nilai kebenaran?

Negasi Pernyataan Berkuantor 1. Beberapa mahasiswa menganggap Trigonometri sukar 2. Tak ada mahasiswa yang suka mencontek Pernyataan di atas negasi dari apa?

Dalam bentuk lambang, dinyatakan ~ ( M x) ~ Mx ~ ( x) Mx x) ~ Mx

Tentukan negasi dari pernyataan berikut 1. Semua bilangan cacah adalah bilangan Real 2. Beberapa bilangan asli adalah bilangan Rasional 3. Tak ada bilangan prima yang genap 4. Semua mahasiswa tak suka menganggur 5. Tak ada guru yang senang jaipongan 6. ( x) (cos x 0 + sin x 0 = 1) 7. ( x) [(x +1) 2 = x 2 + 2x + 1]

Pernyataan yang mengandung relasi Mahmud mencintai Karlina? Pab Karlina mencintai Mahmud? Pba Misal : a = Mahmud, b = Karlina, P = mencintai Hati-hati kalau tertukar artinya akan berbeda

Penulisan Notasi Pernyataan Semua P adalah Q Semua P adalah Q atau R Semua P dan Q adalah R atau S Tak ada P yang merupakan Q Beberapa P adalah Q Beberapa P tak merupakan Q a berelasi dengan b b berelasi dengan a a berelasi dengan semua P Semua P berelasi dengan semua Q Semua P berelasi dengan a Semua Q berelasi dengan semua P Beberapa P berelasi dengan beberapa Q Beberapa Q berelasi dengan beberapa P Semua P berelasi dengan beberapa Q Beberapa P berelasi dengan semua Q Notasi ( P Ↄ Qx) ( [P Ↄ (Qx v Rx)] ( [ P ʌ Q Ↄ (Rx v Sx)] ( P Ↄ ~Qx) ( P ʌ Qx) ( P ʌ ~Qx) Rab Rba ( P Ↄ Rax) ( x) ( [ P ʌ Qy) Ↄ Rxy)] ( x) (Px Ↄ Rxa) ( x) ( [ P ʌ Qy) Ↄ Ryx)] ( x) ( P ʌ Qy ʌ Rxy) ( x) ( P ʌ Qy ʌ Ryx) ( x) [ P Ↄ ( Q ʌ Rxy)] ( x) [P ʌ ( Q Ↄ Rxy)]

Coba1, Bagaimana membuat lambangnya! 1. Mahmud mencintai semua gadis 2. Semua gadis mencintai Mahmud Misalkan Qx : x adalah seorang gadis

Coba2, Bagaimana membuat lambangnya! a. Semua pria mencintai semua wanita b. Semua wanita mencintai semua pria c. Beberapa pria mencintai beberapa wanita d. Beberapa wanita mencintai beberapa wanita Misalkan Rx : x adalah pria Qy : y adalah wanita