KALIMAT MAJEMUK DAN KONEKTIVITAS

dokumen-dokumen yang mirip
FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika. Julan HERNADI

EKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo

FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika. Julan HERNADI

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

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

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

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

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

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

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

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

PROPOSISI MATEMATIKA SISTEM INFORMASI 1

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat

LOGIKA. Arum Handini Primandari

Contoh 1.36 Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika.

METODA PEMBUKTIAN DALAM MATEMATIKA

6. LOGIKA MATEMATIKA

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN

BAB I PENDAHULUAN. 1.1 Latar Belakang

METODA PEMBUKTIAN DALAM MATEMATIKA

ATURAN INFERENSI. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 6 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo

BAB 6 LOGIKA MATEMATIKA

SATUAN ACARA PERKULIAHAN

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

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan

KATA PENGANTAR UCAPAN TERIMA KASIH ABSTRAK DAFTAR ISI DAFTAR TABEL DAFTAR BAGAN

MATEMATIKA DISKRIT LOGIKA

NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3)

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

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

LOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali

PERTEMUAN 1. PERNYATAAN PENGHUBUNG PERNYATAAN A.Jerry W Jeki C.S. jekichas.weebly.com

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed

4. LOGIKA MATEMATIKA

I. LAMPIRAN TUGAS. Mata kuliah : Matematika Diskrit Program Studi : Sistem Informasi PA-31 Dosen Pengasuh : Ir. Bahder Djohan, MSc

SOAL PILIHAN GANDA Pilihlah salah satu jawaban yang paling benar antara pilihan a, b, c, d, atau e!

PERNYATAAN MAJEMUK & NILAI KEBENARAN

MATEMATIKA DISKRIT. Logika

BAB I DASAR-DASAR LOGIKA

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).

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

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements).

Konvers, Invers dan Kontraposisi

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

PERTEMUAN Logika Matematika

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

I. PERNYATAAN DAN NEGASINYA

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka.

LOGIKA DAN PEMBUKTIAN

BAB I LOGIKA MATEMATIKA

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

PERNYATAAN (PROPOSISI)

Logika adalah jantung dari algoritma dan pemrograman. Contoh: if x mod 2 = 0 then x:=x + 1 else x:=x 1

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

IT105 MATEMATIKA DISKRIT. Ramos Somya, S.Kom., M.Cs.

Jadi penting itu baik, tapi jadi baik jauh lebih penting

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

BAB VI. LOGIKA MATEMATIKA

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

Argumen premis konklusi jika dan hanya jika Tautolog

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

ANALISIS REAL. (Semester I Tahun ) Hendra Gunawan

PERTEMUAN Logika Matematika

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

BAB IV LOGIKA A. Pernyataan B. Operasi uner

LOGIKA MATEMATIKA I. PENDAHULUAN

RPKPS MATA KULIAH PROGRAM STUDI MATEMATIKA JURUSAN MATEMATIKA FMIPA UGM

K13 Revisi Antiremed Kelas 11

50. Mata Pelajaran Matematika Kelompok Akuntansi dan Pertanian untuk Sekolah Menengah Kejuruan (SMK)/Madrasah Aliyah Kejuruan (MAK) A.

PERTEMUAN KE 3 F T T F T F T F

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

Logika Matematik. Saripudin, M.Pd.

LOGIKA. /Nurain Suryadinata, M.Pd

SEKOLAH TINGGI MANAJEMEN INFORMATIKA & KOMPUTER JAKARTA STI&K SATUAN ACARA PERKULIAHAN

MateMatika Diskrit. Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T

KATA PENGANTAR. Assalamu alaikum Wr. Wb.

Matematika Diskrit LOGIKA

Logika. Modul 1 PENDAHULUAN

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

BAB II TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).

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

Hukum-hukum Logika 2/8/ Hukum komutatif: p q q p p q q p. 8. Hukum asosiatif: p (q r) (p q) r p (q r) (p q) r

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

Logika Matematika. Cece Kustiawan, FPMIPA, UPI

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

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika

KISI KISI LOMBA KOMPETENSI SISWA SMK TINGKAT PROVINSI JAWA TIMUR 2014

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

BAB I PENDAHULUAN. A. Latar Belakang Masalah. Matematika merupakan salah satu ilmu yang berkembang seiring

RENCANA PEMBELAJARAN SEMESTER (RPS) KKKF23111 Matematika Diskrit

LOGIKA & PEMBUKTIAN. Anita T. Kurniawati, MSi LOGIKA

sama dengan p q. Perhatikan tabel berikut. p q B B S S B S S B S S B B S S S B B S B S S S S B B S B B

Matematika Terapan Teknik Informatika

EKSKLUSIF OR (XOR) DEFINISI

Kuliah 2 1. LOGIKA (LOGIC) Matematika Diskrit. Dr.-Ing. Erwin Sitompul

RENCANA PEMBELAJARAN

Transkripsi:

KALIMAT MAJEMUK DAN KONEKTIVITAS Dosen & Asisten Dr. Julan HERNADI & (Asrul dan Enggar) Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 2 FONDASI MATEMATIKA

DEFINISI DAN MACAM KONEKTIVITAS Denition Kalimat majemuk adalah kalimat yang terdiri dari gabungan beberapa proposisi. Penggabungan dua proposisi p dan q menggunakan konektivitas. Ada 4 konektivitas utama dan 1 tambahan, yaitu 1 Konjungsi (p q) dibaca p dan q, bernilai benar (T) jika keduanya T; kasus lainnya bernilai salah (F). 2 Disjungsi (p q) dibaca p atau q, bernilai salah (F) jika keduanya F; kasus lainnya bernilai benar (T). 3 Implikasi (p q) dibaca jika p maka q, bernilai salah (F) jika p bernilai T dan q bernilai F; kasus lainnya bernilai benar (T). 4 Biimplikasi (p q) dibaca p jika dan hanya jika q atau jika p maka q dan jika q maka p. Bernilai benar (T) jika kedua implikasi p q dan q p bernilai benar (T). 5 Exclusive or (p q) dibaca p atau terpisah q, bernilai benar (T) jika salah satu dari p atau q bernilai T; kasus lainnya salah (F). Konektivitas untuk membangun kalimat majemuk disebut juga operator logika.

TABEL KEBENARAN KONEKTIVITAS Dengan memperhatikan denisi masing-masing operator logika di atas, lengkapilah tabel kebenaran berikut: p q p q p q p q p q p q T T F F T F T F Table: Tabel kebenaran konektivitas Pertanyaan kritis: 1 Dari 20 kemungkinan tersebut, hitunglah banyak kemungkinan T dan banyak kemungkinan F. 2 Khusus pada implikasi, selidikilah 2 kemungkinan yang membuat p q bernilai benar (T).

Istilah lain untuk p q p mengakibatkan q, p adalah syarat cukup bagi q, q adalah syarat perlu untuk p, q hanya jika p, q asalkan p q bilamana p. Syarat cukup berarti sebuah kondisi yang pasti menyebabkan terjadinya keadaan lain. Dikatakan p adalah syarat cukup q berarti jika p terjadi maka q terjadi. Syarat perlu berarti keadaan yang pasti dipenuhi jika sebuah keadaan lain terjadi. Contoh: Syarat mengambil SIM adalah berusia minimal 17 tahun. Usia minimal adalah syarat perlu bukan syarat cukup. Kalimat implikasi sebagai berikut: Jika si A mendapatkan SIM maka usianya minimal 17 tahun. Tidak berarti, jika usianya minimal 17 tahun maka si A mendapatkan SIM. Istilah lain untuk p q adalah p adalah syarat cukup dan perlu bagi q. Contoh: Usia minimal 17 tahun dan lulus ujian SIM adalah syarat perlu dan cukup untuk mendapat SIM.

Analisa Pernyataan Misalkan ada pengumuman di kampus yang berbunyi sebagai berikut: mahasiswa yang sudah ambil kuliah kalkulus atau sudah ambil kuliah pengantar komputer dapat mengambil matakuliah fondasi matematika. Terjemahkan maksud pengumuman ini! Misalkan ada sebuah toko memasang iklan: Jika belanja Anda lebih dari 100 ribu maka Anda mendapat diskon 10%. Terjemahkan maksud iklan ini!.

Menyelidiki Nilai Kebenaran Proposisi 1 Jika hari ini Jum'at maka 2 + 3 = 6. 2 Jika 1 + 1 = 3 maka Tuhan ada. 3 0 > 1 jika hanya jika 2 > 1. 4 ( (a > b)) (b < c) [(a b) (b > c)] di mana a = 3, b = 5 dan c = 6. 5 Misalkan menyatakan himpunan kosong dan A himpunan sebarang. Selidikilah kebenaran pernyataan: Jika x maka x A.

Bahasa Indonesia dan Logika Simbolik Kalimat dalam bahasa Indonesia Anda dapat mengakses internet dari kampus hanya jika Anda mengambil jurusan ilmu komputer atau Anda bukan mahasiswa baru dapat dituliskan dalam notasi (p q) r dengan p : Anda mengambil jurusan ilmu komputer, q : Anda mahasiswa baru dan r : Anda dapat mengakses internet dari kampus. LATIHAN: Nyatakan kalimat berikut menggunakan konektivitas: 1 Anda tidak dapat naik roller coaster jika tinggi badan Anda kurang dari 120 cm, kecuali usia Anda lebih dari 16 tahun. 2 Anda mendapat nilai A pada matakuliah ini tetapi Anda tidak mengerjakan semua tugas. 3 Mendapat nilai A pada UAS dan mengerjakan setiap latihan adalah syarat perlu untuk mendapat nilai akhir A.

Puzzle yang mengandung konektivitas Tiga orang bersaudara, Ali, Bobi dan Cendy melapor kepada orang tua mereka dengan jujur pernyataan sebagai berikut Ali : Jika saya lulus matematika maka Bobi juga lulus matematika. Saya lulus bahasa Inggris bila hanya bila Cendy lulus bahasa Inggris. Bobi : Jika saya lulus matematika maka Ali juga lulus matematika. Ali tidak lulus sejarah. Cendy: Hanya berlaku salah satunya: Ali lulus sejarah, atau Saya tidak lulus sejarah. Jika Bobi tidak lulus bahasa Inggris maka Ali juga tidak lulus bahasa Inggris. Bila masing-masing dari ketiga orang tersebut lulus paling sedikit satu pelajaran, dan setiap pelajaran pasti dapat diluluskan oleh paling sedikit satu orang, dan jika Cendy tidak lulus sebanyak pelajaran yang diluluskan oleh kedua saudaranya. Tentukan pelajaran apa saja mereka lulus?

Variasi bentuk implikasi Berangkat dari implikasi p q kita dapat membentuk tiga pernyataan implikasi relevan yang sering muncul, yaitu 1 q p disebut konvers, 2 q p disebut kontraposisi, 3 p q disebut invers. p q p q p q q p q p p q T T F F T T T T T F F T F T F T F T T F T F T F F F T T T T T T Diperhatikan bahwa implikasi dan kontraposisi mempunyai pola nilai kebenaran yang sama. Begitu juga dengan konvers dan invers. Selanjutnya, keadaan seperti ini disebut ekuivalen logis yaitu tidak serupa tapi sama makna. Soal untuk Tugas minggu depan: Exercises hal 16-20. Kumpulkan minimal 5 soal dengan 1 soal puzzle. Semakin unik soal yang dikerjakan nilainya semakin bagus. Semakin mirip satu sama lain maka semakin jelek nilainya.