KALKULUS PREDIKAT KALIMAT BERKUANTOR

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

LANDASAN MATEMATIKA Handout 4 (Kuantor)

KALIMAT BERKUANTOR. Pertemuan 4 Senin, 11 Maret 2013

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

KUANTIFIKASI Nur Insani, M.Sc

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

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

PENALARAN DALAM MATEMATIKA

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

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

LOGIKA MATEMATIKA (Pendalaman Materi SMA)

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

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

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

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

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

KUANTOR (Minggu ke-7)

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

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

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

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

PERTEMUAN Logika Matematika

Nama Peserta : No Peserta : Asal Sekolah : Asal Daerah :

LOGIKA MATEMATIKA I. PENDAHULUAN

Jadi penting itu baik, tapi jadi baik jauh lebih penting

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

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

LOGIKA. Arum Handini Primandari

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

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


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

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

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

BAB III INDUKSI MATEMATIKA

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

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

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

BAB I LOGIKA MATEMATIKA

POLINOM (SUKU BANYAK) Menggunakan aturan suku banyak dalam penyelesaian masalah.

kusnawi.s.kom, M.Eng version

Matematika Industri I

KALKULUS BAB I. PENDAHULUAN DEPARTEMEN TEKNIK KIMIA

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

BAB III INDUKSI MATEMATIKA

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

I. PERNYATAAN DAN NEGASINYA

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

MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi)

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

Soal-soal dan Pembahasan Matematika Dasar SBMPTN-SNMPTN 2009

Catatan Kuliah MA1123 Kalkulus Elementer I

PEMBUKTIAN MATEMATIKA

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan

KUANTOR. A. Fungsi Pernyataan

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

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

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

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

Teorema Faktor. Misalkan P (x) suatu polynomial, (x k) merupakan faktor dari P (x) jika dan hanya jika P (k) = 0

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

Modul Matematika X Semester 2 Logika Matematika

BAB 2 : KALIMAT BERKUANTOR

BAB 5 TEOREMA SISA. Menggunakan aturan sukubanyak dalam penyelesaian masalah. Kompetensi Dasar

F U N G S I A R U M H A N D I N I P R I M A N D A R I

A. Pengertian Logika B. Pernyataan C. Nilai Kebenaran

STANDAR KOMPETENSI KOMPETENSI DASAR. Menggunakan aturan suku banyak dalam penyelesaian masalah

1 INDUKSI MATEMATIKA

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

SELEKSI TINGKAT PROPINSI CALON PESERTA OLIMPIADE SAINS NASIONAL 2008 MATEMATIKA SMA BAGIAN PERTAMA

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT


TEOREMA SISA 1. Nilai Sukubanyak Tugas 1

BAB 6 LOGIKA MATEMATIKA

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

LOGIKA Matematika Industri I

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

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

PEMBAHASAN. Teorema 1. Tidak ada bilangan asli N yang lebih besar dari semua bilangan bulat lainnya.

Bagaimana Cara Guru Matematika Membantu Siswanya Mempelajari Pernyataan Berkuantor

ANALISIS REAL. (Semester I Tahun ) Hendra Gunawan

BAHAN AJAR LOGIKA MATEMATIKA

SOAL DAN SOLUSI PEREMPATFINAL KOMPETISI MATEMATIKA UNIVERSITAS TARUMANAGARA 2011

Prestasi itu diraih bukan didapat!!! SOLUSI SOAL

Materi Matematika Persamaan dan Pertidaksamaan kuadrat Persamaan Linear Persamaan Kuadrat Contoh : Persamaan Derajat Tinggi

Logika Matematika. Bab 1

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

SUKU BANYAK. Secara umum sukubanyak atau polinom dalam berderajat dapat ditulis dalam bentuk berikut:

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

HIMPUNAN (Pengertian, Penyajian, Himpunan Universal, dan Himpunan Kosong) EvanRamdan

Pertemuan 1. Pendahuluan Dasar-Dasar Logika

KUANTIFIER Drs. C. Jacob, M.Pd Dalam Bagian 1 kita menentukan kalimat. P(x): x 2 5x + 6 = 0. Untuk setiap x, x 2 5x + 6 = 0.

Logika, Himpunan, dan Fungsi

Pengertian Fungsi. MA 1114 Kalkulus I 2

A. PERSAMAAN GARIS LURUS

PERNYATAAN (PROPOSISI)

SELEKSI OLIMPIADE TINGKAT PROVINSI 2008 TIM OLIMPIADE MATEMATIKA INDONESIA 2009

Teori Himpunan Elementer

BAB V HIMPUNAN. Himpunan adalah kumpulan benda-benda atau obyek yang mempunyai definisi yang jelas.

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

Transkripsi:

1 KALKULUS PREDIKAT KALIMAT BERKUANTOR A. PREDIKAT DAN KALIMAT BERKUANTOR Dalam tata bahasa, predikat menunjuk pada bagian kalimat yang memberi informasi tentang subjek. Dalam ilmu logika, kalimat-kalimat yang memerlukan subjek disebut Predikat. Predikat biasanya disimbolkan dengan huruf. Perhatikan contoh berikut.... terbang ke bulan.... lebih tebal dari kamus. Keduanya merupakan kalimat yang tidak lengkap. Agar menjadi kalimat yang lengkap, haruslah disubtitusikan suatu subjek dibagian depan kalimat. Misalnya, jika subjek buku ini disubtitusikan ke kalimat... lebih tebal dari kamus, maka kalimat tersebut menjadi Buku ini lebih tebal dari kamus. Misalkan: p : terbang ke bulan q : lebih tebal dari kamus maka baik p maupun q adalah predikat-predikat. Untuk menyatakan perlunya subtitusi subjek (yang tidak diketahui), maka dituliskan sebagai p(x) dan q(y). Salah satu cara mengubah predikat menjadi kalimat adalah dengan mensubtitusikan variabelnya dengan nilai-nilai tertentu. Misalkan p(x) : x habis dibagi 5 dan x disubtitusikan dengan 35, maka p(x) menjadi kalimat benar karena 35 habis dibagi 5. Cara lain adalah dengan menambahkan kuantor pada kalimat. Kuantor adalah kata- kata seperti beberapa, semua dan kata-kata lain yang menunjukan berapa banyak elemen yang dibutuhkan agar predikat menjadi benar. Ada dua macam kuantor untuk menyatakan jumlah objek, yaitu: 1. Kuantor Universal Kuantor universal menunjukan bahwa setiap objek dalam semestanya mempunyai sifat kalimat yang menyatakanya. Simbol untuk kuantor universal adalah, dibaca untuk semua atau untuk setiap. Misalkan p(x) : x dapat mati. Pernyataan semua manusia dapat mati ditulis dalam symbol: ( x) p(x). Pernyataan ( x) p(x) bernilai benar jika hanya jika p(x) benar untuk semua p(x) dalam semestanya dan bernilai salah jika ada x yang menyebabkan p(x) salah.

2 2. Kuantor Eksistensial. Kuantor Eksistensial menunjukkan bahwa diantara objek-objek dalam semestanya, paling sedikit ada satu objek (atau lebih) yang mempunyai sifat kalimat yang menyatakannya. Simbol kuantor eksistensial adalah dibaca terdapat, ada, beberapa. Pernyataan ( x) q(x) bernilai benar jika dan hanya jika ada paling sedikit satu x yang menyebabkan q(x) benar dan bernilai salah jika untuk semua x dalam semestanya, q(x) salah. Variabel x dalam p(x) disebut variabel bebas karena jika x berubah maka nilai p(x) pada umumnya juga berubah. Sebaliknya, variabel x dalam ( x) p(x) merupakan variabel terikat karena nilai ( x) p(x) tidak lagi tergantung dari nilai x. Variabel x terikat oleh kuantor. LATIHAN Tentukan nilai kebenaran pernyataan berikut: 1. ( bilangan real x) x 2 0. 2. ( bilangan real x) x 2-1 3. ( bilangan bulat m) m 2 = m 4. ( bilangan bulat x) x 2 2 0 5. ( bilangan bulat x) x 2 10x + 21 = 0 B. NEGASI KALIMAT BERKUANTOR Perhatikan kalimat : Semua penumpang dalam bis yang bertabrakan selamat. Kalimat diatas bernilai salah jika ada penumpang yang meninggal. Sebaliknya, kalimat Ada penumpang yang selamat dalam kecelakaan bis dikatakan salah jika semua penumpang meninggal dalam kecelakaan bis itu. Secara umum, ingkaran kalimat: semua x bersifat p(x) adalah Ada x yang tidak bersifat p(x), dan ingkaran kalimat: Ada x yang bersifat q(x) adalah Semua x tidak bersifat q(x). Jadi ~ [ ( x) p(x) ] ( x) ~ p(x) ~ [( x) q(x) ] ( x) ~ q(x)

3 LATIHAN Tentukan negasi dari pernyataan berikut: 1. Semua bilangan cacah adalah bilangan real. 2. Beberapa bilangan asli adalah bilangan rasional. 3. Tidak ada bilangan prima yang genap. 4. Semua mahasiswa tidak suka belajar. 5. Tidak ada guru yang senang menari. 6. ( x) ( cos x + sin x = 1). 7. ( x) [ (x + 1) 2 = x 2 + 2x + 1]. C. EMPAT PERNYATAAN DALAM LOGIKA TRADISIONAL Logika tradisional menekankan empat tipe pernyataan yang diilustrasikan dalam pernyataan berikut: Semua ikan paus adalah hewan menyusui. Tak ada ikan paus yang termasuk hewan menyusui. Beberapa ikan paus adalah hewan menyusui. Beberapa ikan paus tidak termasuk hewan menyusui. (a). Affirmatif Umum Perhatikan pernyataan: Semua ikan paus adalah hewan menyusui. Pernyataan diatas dapat dinyatakan sebagai: Untuk setiap x, jika x adalah ikan paus, maka x adalah hewan menyusui. Misal: h(x) : x adalah ikan paus. m(x) : x adalah hewan menyusui. maka pernyataan diatas dapat ditulis dengan simbol: ( x) (h(x) m(x)) (b). Negatif Umum Perhatikan pernyataan: Tidak ada ikan paus yang termasuk hewan menyusui. Pernyataan diatas sama artinya dengan: Semua ikan paus tidak termasuk hewan menyusui.

4 atau dapat dinyatakan sebagai: Untuk setiap x, jika x adalah ikan paus, maka x bukan hewan menyusui. Jadi, pernyataan diatas dapat ditulis dalam simbol berikut: ( x) (h(x) ~ m(x)) (c). Affirmatif khusus Perhatikan kalimat: Beberapa ikan paus adalah hewan menyusui. Pernyataan ini dapat dinyatakan dalam ungkapan lain, yaitu: Terdapat x, sedemikian sehingga x adalah ikan paus dan x adalah hewan meyusui. Atau dinyatakan dalam simbol berikut: ( x) (h(x) m(x)) (d). Negatif khusus Peryataan: Beberapa ikan paus bukan hewan menyusui adalah contoh dari negatif umum. Pernyataan diatas sama artinya dengan: Terdapat x, sedemikian sehingga x adalah ikan paus dan x bukan hewan meyusui. Atau dinyatakan dalam simbol berikut: ( x) (h(x) ~ m(x)) D. PERNYATAAN YANG MENGANDUNG RELASI Kalimat berkuantor yang telah dibahas dalam bagian sebelumnya dapat diperluas dengan menambah beberapa kuantor sekaligus pada kalimat yang sama. Perhatikan kalimat berikut: (a). Semua pria mencintai wanita Untuk semua x, y, jika x adalah pria dan y adalah wanita, maka x mencintai y. Misal: p(x) : x adalah pria w(y) : y adalah wanita r(x,y) : x mencintai y maka simbol untuk pernyataan diatas adalah: ( x) ( y) [( p(x) w(y) ) r(x,y)]

5 (b). Semua wanita mencintai semua pria. ( x) ( y) [( p(x) w(y) ) r(y,x)] (c). Beberapa pria mencintai beberapa wanita. Terdapatlah x dan y sedemikian sehingga x adalah pria dan y adalah wanita dan x mencintai y. Simbol pernyataan diatas adalah: ( x) ( y) [ p(x) w(y) r(x,y)] (d). Semua pria mencintai beberapa wanita Untuk setiap x, jika x adalah pria, maka terdapat y sedemikian sehingga y adalah wanita dan x mencintai y. Simbol pernyataan diatas adalah ( x) [ p(x) ( y) (w(y) r(x,y))] (e). Beberapa pria mencintai semua wanita Terdapatlah x sedemikian sehingga x adalah pria dan untuk setiap y, jika y adalah wanita, maka x mencintai y. Simbol pernyataan diatas adalah ( x) [ p(x) ( y) ( w(y) r(x,y))] Kalimat diatas juga mempunyai arti yang sama dengan kalimat Untuk semua x, jika x adalah wanita, maka terdapatlah y sedemikian sehingga y adalah pria dan y mencintai x. yang mempunyai simbol ( x) [ w(x) ( y) (p(y) r(y,x))] LATIHAN 1. Misalkan P(x) : x adalah bilangan prima E(x) : x adalah bilangan genap A(x) : x adalah bilangan ganjil B(x,y) : x faktor y

6 Terjemahkan tiap-tiap simbol berikut kedalam pernyataan: a. P(23) b. E(2) P(2) c. ( x) ( B(2,x) E(x) ) d. ( x) ( E(x) B(x,6) ) e. ( x) ( ~ E(x) ~ B(2,x) ) f. ( x) [P(x) ( y) (E(y) B(x,y))] g. ( x) [ E(x) ( y) (B(x,y) E(y)) ] h. ( x) [A(x) ( y) (P(y) ~ B(x,y))] 2. Nyatakan kalimat berikut dalam bentuk simbol-simbol. a. Semua burung hidup dalam air. b. Hanya direktur yang mempunyai sekretaris pribadi. c. Orang bali tidak semuanya bisa menari. d. Tidak ada sesuatu pun di dalam rumah itu yang lolos dari kebakaran. e. Beberapa obat berbahaya, kecuali jika digunakan dalam dosis yang tepat. f. Setiap manusia akan sehat jika ia makan makanan yang bergizi dan sering berolahraga.