BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?
|
|
- Yuliana Kusuma
- 6 tahun lalu
- Tontonan:
Transkripsi
1 BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti luas, Logika adalah sebuah metode dan prinsip-prinsip yang dapat memisahkan secara tegas antara penalaran yang tepat dengan penalaran yang tidak tepat. Jika kita membahas logika, kita akan berkenalan dengan penalaran. Penalaran merupakan penjelasan dalam upaya memperlihatkan hubungan antara dua hal atau lebih berdasarkan sifat-sifat atau hukum-hukum tertentu yang sudah diakui kebenarannya dengan langkahlangkah tertentu yang berakhir dengan sebuah kesimpulan. Dengan kata lain, penalaran dapat diartikan sebagai penarikan kesimpulan dalam sebuah argumen. Dalam Logika, kita mempelajari dan meneliti apakah sebuah penalaran yang telah kita lakukan itu tepat atau tidak. Untuk dapat berpikir dengan tepat, Logika menawarkan sejumlah aturan atau kaidah-kaidah yang harus diperhatikan agar kesimpulan yang kita peroleh hasilnya tepat. 1.2 RUMUSAN MASALAH a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat? 1.3 TUJUAN MAKALAH a. Untuk mengetahui hukum-hukum logika dalam matematika. b. Untuk mengetahui preposisi bersyarat. 1
2 BAB II PEMBAHASAN 2.1 HUKUM-HUKUM LOGIKA Logika matematika (logika simbolik) adalah ilmu tentang penyimpulan yang sah (absah), khususnya yang dikembangkan melalui penggunaan metode-metode matematika dan symbol-simbol matematika dengan tujuan menghindari makna ganda dari bahasa sehari-hari. Logika Ekuivalen Dua pernyataan disebut sebagai ekuivalen satu sama lain secara logis (logically equivalent) bila nilai kebenaran kebenaran kedua pernyataan tersebut sama. Lambang untuk ekuivalensi adalah :, Pernyataan (Proposisi) atau kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Proposisi majemuk disebut tautologi jika ia benar untuk semua kasus (T) Proposisi majemuk disebut kontradiksi jika ia salah untuk semua kasus (F) o Jenis-Jenis Proposisi : 2
3 Proposisi Tunggal (tanpa perangkai) Proposisi Majemuk(dengan satu perangkai) Proposisi Komplek(dengan dua atau lebih perangkai) Hukum-hukum logika Beberapa hukum logika proposisi mirip dengan hukum aljabar pada sistem bilangan riil, misalnya a(b + c) = ab + bc, yaitu hukum distributif, sehingga hukum logika proposisi disebut juga hukum aljabar proposisi. 1) Hukum komutatif a. p q q p b. p q q p 2) Hukum asosiatif a. (p q) r p (q r) b. (p q) r p (q r) 3) Hukum distributif a. p (q r) (p q) (p r) b. p (q r) (p q) (p r) 4) Hukum identitas a. p B p b. p S p 3
4 5) Hukum ikatan a. p S S b. p B B 6) Hukum negasi a. p ~p S b. p ~p B 7) Hukum negasi ganda a. ~(~p) p 8) Hukum idempotent a. p p p b. p p p 9) Hukum De Morgan a. ~(p q) ~p ~q b. ~(p q) ~p ~q 10.) Hukum penyerapan a. p (p q) p b. p (p q) p 11.)Negasi B dan S a. ~B S b. ~S B Contoh Soal 1 : Tunjukkan bahwa p ~(p q) dan p ~q keduanya ekivalen secara logika. Penyelesaian: p ~(p q ) p (~p ~q) (Hukum De Mogran) 4
5 (p ~p) (p ~q) (Hukum distributif) T (p ~q) p ~q (Hukum negasi) (Hukum identitas) Contoh Soal 2 : Buktikan hukum penyerapan: p (p q) p Penyelesaian: p (p q) (p F) (p q) p (F q) p F p (Hukum Identitas) (Hukum distributif) (Hukum Null) (Hukum Identitas) Contoh Soal 3 : Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika. (a) Nyatakan pernyataan di atas dalam notasi simbolik (ekspresi logika) (b) Berikan pernyataan yang ekivalen secara logika dengan pernyataan tersebut (Petunjuk: gunakan hukum De Morgan) Penyelesaian Misalkan : p : Dia belajar Algoritma q : Dia belajar Matematika maka, (a) ~ (p ~ q) (b) ~ (p ~ q) ~ p q (Hukum De Morgan) 5
6 dengan kata lain: Dia tidak belajar Algoritma atau belajar Matematika 2.2 PROPOSISI BERSYARAT IMPLIKASI Proposisi bersyarat atau disebut juga implikasi (jika maka) biasa dilambangkan dengan simbol Implikasi p q adalah proposisi yang bernilai salah jika p benar dan q salah, dan bernilai benar jika lainnya. Proposisi p disebut hipotesis, antesenden, premis, atau kondisi Proposisi q disebut konklusi (atau konsekuen). Cara-cara mengekspresikan implikasi p q: Jika p,maka q Jika p, q p mengakibatkan q (p implies q) q jika p p hanya jika q p syarat cukup untuk q (hipotesis menyatakan syarat cukup (sufficient condition) q syarat perlu untuk p (konklusi menyatakan syarat perlu (necessary condition) ) q bilamana p (q whenever p) Contoh Implikasi : Jika saya sakit, maka saya merasa lemah Jika saya naik kelas maka ayah akan memberi hadiah Jika suhu mencapai 80 ᵒ C,maka alarm akan berbunyi Jika anda tidak mendaftar ulang, maka anda dianggap mengundurkan diri Contoh Lain : Ahmad bisa mengambil matakuliah Teori Bahasa Formal hanya jika ia sudah lulus matakuliah Matematika Diskrit. Ingat: p q dapat dibaca p hanya jika q p : Ahmad bisa mengambil matakuliah Teori Bahasa Formal q : Ahmad sudah lulus matakuliah Matematika Diskrit. Notasi standard: Jika p, maka q Jika Ahmad mengambil matakuliah Teori Bahasa Formal maka ia sudah lulus mata kuliah Matematika Diskrit. Tabel Kebenaran Implikasi P Q P Q B B B B S S S B6 B S S B
7 2.2.2 VARIAN IMPLIKASI Ada 3 varian implikasi yaitu : Konvers dari implikasi p q adalah q p Invers dari implikasi p q adalah ~ p ~ q Kontraposisi dari implikasi p q adalah ~ q ~p Contoh : Tentukan Konvers, Invers dan Kontraposisi Jika hujan turun, maka Jakarta Banjir Konvers : Jika Jakarta Banjir, maka hujan turun Invers : Jika hujan tidak turun,maka jakarta tidak banjir Kontraposisi : Jika Jakarta tidak banjir, maka hujan tidak turun BI-IMPLIKASI/BIKONDISONAL Bi-impkikasi (jika dan hanya jika) biasanya di lambangkan dengan simbol Bi-impkikasi bernilai benar hanya jika komponen-komponennya bernilai sama. Cara-cara menyatakan bikondisional p q: p jika dan hanya jika q. p adalah syarat perlu dan cukup untuk q. Jika p maka q, dan sebaliknya. p iff q Tabel Kebenaran Bi-Implikasi : P Q P Q B B B B S S S B S S S B 7
8 Contoh Bi-implikasi : 1. Jika p : 2 bilangan genap (T) q : 3 bilangan ganjil (T) maka p q : 2 bilangan genap jika dan hanya jika 3 bilangan ganjil (T) 2. Jika r : (T) s : < 8 (F) maka r s : jika dan hanya jika < 8 (F) 3. Jika a : Surabaya ada di jawa barat (F) b : 23 = 6 (F) maka a : Surabaya ada di jawa barat jika dan hanya jika 23 = 6 (T) BAB III PENUTUP 3.1 KESIMPULAN Dalam logika matematika ada dua kalimat yang penting, yaitu Kalimat Pernyataan dan Kalimat Terbuka serta terdapat juga operasi logika yaitu Negasi(Ingkaran), Konjungsi, Disjungsi, Implikasi, dan Biimplikasi. Dalam logika matematika terdapat beberapa hukum logika yaitu hukum komutatif, hukum asosiatif, hukum distributif, hukum identitas, hukum ikatan, hukum negasi, hukum negasi ganda, hukum idempotent, hukum de morgan, hukum penyerapan. Kemudian Terdapat Proposisi bersyarat, dari suatu Implikasi dapat di bentuk implikasi dapat di bentuk Implikasi lain, yaitu konvers, Invers, dan Kontraposisi. Metode atau cara yang di gunakan dalam penarikan kesimpulan yaitu Modus Ponen, Modus Tolen, dan Silogisme. 8
PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka.
BAB 2 LOGIKA PENGERTIAN Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang
Lebih terperinci- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat
LOGIKA Tujuan umum : - Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat Tujuan Khusus: - mahasiswa diharapkan dapat : 1. memahami pengertian proposisi,
Lebih terperinciLogika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).
Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai
Lebih terperinciLOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan
LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan (statements). Proposisi kalimat deklaratif yang bernilai benar (true)
Lebih terperinciMATEMATIKA DISKRIT LOGIKA
MATEMATIKA DISKRIT LOGIKA Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika.
Lebih terperinciHukum-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
Hukum-hukum Logika Disebut juga hukum-hukum aljabar proposisi. 1. Hukum identitas: p F p p T p 3. Hukum negasi: p ~p T p ~p F 5. Hukum involusi (negasi ganda): ~(~p) p 2. Hukum null/dominasi: p F F p T
Lebih terperinciMateri 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali
Materi 4: Logika I Nyoman Kusuma Wardana STMIK STIKOM Bali Logika merupakan dasar dr semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan-pernyataan (statements). Dalam Logika
Lebih terperinciPengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM
Pengantar Logika Didin Astriani Prasetyowati, M.Stat UIGM 1 BAB I PENGANTAR LOGIKA Konsep Logika Apakah logika itu? Seringkali Logika didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar
Lebih terperinciLOGIKA. /Nurain Suryadinata, M.Pd
Nama Mata Kuliah Kode Mata Kuliah/SKS Program Studi Semester Dosen Pengampu : Matematika Diskrit : MAT-3615/ 3 sks : Pendidikan Matematika : VI (Enam) : Nego Linuhung, M.Pd /Nurain Suryadinata, M.Pd Referensi
Lebih terperinciPertemuan 2. Proposisi Bersyarat
Pertemuan 2 Proposisi ersyarat Proposisi ersyarat Definisi 4 Misalkan p dan q adalah proposisi. Proposisi majemuk jika p, maka q disebut proposisi bersyarat (implikasi dan dilambangkan dengan p q Proposisi
Lebih terperinciLogika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika
Pengantar Logika 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika. Tetapi,
Lebih terperinciMatematika Diskrit LOGIKA
Matematika Diskrit LOGIKA 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat deklaratif
Lebih terperinciLogika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).
Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai
Lebih terperinciLogika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements).
Logika Matematik 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat deklaratif yang bernilai
Lebih terperinciLogika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si.
Logika Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Matematika Kalimat Terbuka dan Tertutup Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Semoga kamu
Lebih terperinciMATEMATIKA DISKRIT. Logika
MATEMATIKA DISKRIT Logika SILABUS KULIAH 1. Logika 2. Himpunan 3. Matriks, Relasi dan Fungsi 4. Induksi Matematika 5. Algoritma dan Bilangan Bulat 6. Aljabar Boolean 7. Graf 8. Pohon REFERENSI Rinaldi
Lebih terperinciDASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit
DASAR-DASAR LOGIKA Pertemuan 2 Matematika Diskrit 25-2-2013 Materi Pembelajaran 1. Kalimat Deklaratif 2. Penghubung kalimat 3. Tautologi dan Kontradiksi 4. Konvers, Invers, dan Kontraposisi 5. Inferensi
Lebih terperinciPERTEMUAN KE 3 F T T F T F T F
PEREMUAN KE 3 E. DISJUNGSI EKSLUSI (Exclusive OR) Misalkan p dan q adalah proposisi. Exclusive or p dan q, dinyatakan dengan notasi, adalah proposisi yang bernilai benar bila hanya salah satu dari p dan
Lebih terperinciLogika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed
Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik
Lebih terperinciLogika Matematik. Saripudin, M.Pd.
Logika Matematik Saripudin, M.Pd. 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat
Lebih terperinciMatematika Industri I
LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai
Lebih terperinciMateMatika Diskrit. Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T
MateMatika Diskrit Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan
Lebih terperinciPROPOSISI MATEMATIKA SISTEM INFORMASI 1
PROPOSISI MATEMATIKA SISTEM INFORMASI 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat
Lebih terperinciKonvers, Invers dan Kontraposisi
MODUL 5 Konvers, Invers dan Kontraposisi Represented by : Firmansyah,.Kom A. TEMA DAN TUJUAN KEGIATAN PEMELAJARAN 1. Tema Konvers, Invers dan Kontraposisi 2. Fokus Pembahasan Materi Pokok 1. Konvers, invers
Lebih terperinciMateri Kuliah IF2091 Struktur Diskrit. Pengantar Logika. Oleh: Rinaldi Munir. Program Studi Informatika STEI - ITB
Materi Kuliah IF2091 Struktur Diskrit Pengantar Logika Oleh: Rinaldi Munir Program Studi Informatika STEI - ITB 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti
Lebih terperinciEKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo
Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 3 FONDASI MATEMATIKA Variasi bentuk implikasi Berangkat dari implikasi p q kita dapat membentuk tiga pernyataan implikasi relevan yang
Lebih terperinciMODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT
MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT Penulis : Nelly Indriani Widiastuti S.Si., M.T. JURUSAN TEKNIK INFORMATIKA UNIVERSITAS KOMPUTER INDONESIA BANDUNG 2011 DAFTAR ISI Daftar Isi. 2 Bab 1 LOGIKA
Lebih terperinciLogika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus.
Logika Proposisi 1 I. Logika Proposisi Logika adalah bagian dari matematika, tetapi pada saat yang sama juga merupakan bahasa matematika. Pada akhir abad ke-19 dan awal abad ke-20, ada kepercayaan bahwa
Lebih terperinci1.Asas Logik dan Pembuktian
1.Asas Logik dan Pembuktian ASAS LOGIK Logik merupakan dasar dari semua penaakulan (reasoning). Penaakulan didasarkan pada hubungan antara pernyataanpernyataan (statements). Pernyataan Ayat deklaratif
Lebih terperinciLOGIKA. Arum Handini Primandari
LOGIKA Arum Handini Primandari LOGIKA MATEMATIKA KALIMAT TERBUKA DAN TERTUTUP Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Apakah kamu tahu pencipta lagu PPAP? Semoga ujian
Lebih terperinciLogika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut.
TABEL KEBENARAN Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. Logika tidak mempermasalahkan arti sebenarnya
Lebih terperinciMatematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs.
Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs. 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak akan sulit belajar Bahasa Java. Jika
Lebih terperinciBAB I LOGIKA MATEMATIKA
BAB I LOGIKA MATEMATIKA A. Ringkasan Materi 1. Pernyataan dan Bukan Pernyataan Pernyataan adalah kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus benar dan salah. (pernyataan disebut
Lebih terperinciBAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran
BAB 4 PROPOSISI 1. Pernyataan dan Nilai Kebenaran Ilmu logika adalah berhubungan dengan kalimat-kalimat (argumen-argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah memberikan
Lebih terperinciBAB 1. Logika. Benteng kehidupan yang terkuat adalah kebenaran. (Anonim)
BAB 1 Logika Benteng kehidupan yang terkuat adalah kebenaran. (Anonim) Materi Matematika Diskrit di dalam buku ini dimulai dari pokok bahasan logika. Logika merupakan studi penalaran (reasoning). Dalam
Lebih terperinciLOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi
LOGIKA PROPOSISI Bagian Keempat : Logika Proposisi ARI FADLI, S.T. Logika Proposisi Tujuan : Mahasiswa dapat menyebutkan tentang logika proposisi, operator dan sifat proposisi Proposisi Definisi : Setiap
Lebih terperinciLOGIKA MATEMATIKA (Pendalaman Materi SMA)
LOGIKA MATEMATIKA (Pendalaman Materi SMA) Disampaikan Pada MGMP Matematika SMA Provinsi Bengkulu Tahun Ajaran 2007/2008 Oleh: Supama Widyaiswara LPMP Bengkulu DEPARTEMEN PENDIDIKAN NASIONAL DIREKTORAT
Lebih terperinciPernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah.
LOGIKA MATEMATIKA 1. Pernyataan Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah. Pernyataan dilambangkan dengan huruf kecil, misalnya p, q, r dan seterusnya.
Lebih terperinciBerdasarkan tabel 1 diperoleh bahwa p q = q p.
PEMAHAAN 1. Pengertian Kata LOGIKA mengacu pada suatu metode atau cara yang sistematis dalam berpikir (reasoning), dan terdapat dua sistem khusus yaitu : suatu metode dasar yang disebut dengan Kalkulus
Lebih terperinciMatematika Diskrit. Nelly Indriani Widiastuti S.Si., M.T Prodi Teknik Informatika UNIKOM
Matematika Diskrit Nelly Indriani Widiastuti S.Si., M.T Prodi Teknik Informatika UNIKOM 1 Kontrak Belajar Prasyarat : Logika Matematika & Kalkulus II Jadwal: 3 SKS: 3 jam kuliah Toleransi keterlambatan??
Lebih terperinciLOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom
LOGIKA MATEMATIKA LOGIKA Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Untuk menemukan suatu gagasan baru dari informasi dan gagasan yang telah ada, diperlukan proses berpikir. Proses ini dikenal
Lebih terperinciPusat Pengembangan Pendidikan Universitas Gadjah Mada 1
2. ALJABAR LOGIKA 2.1 Pernyataan / Proposisi Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah), tetapi tidak keduanya. Contoh 1 : P = Tadi malam BBM mulai naik (memiliki
Lebih terperinciBAB 6 LOGIKA MATEMATIKA
A 6 LOGIKA MATEMATIKA A RINGKAAN MATERI 1. Pengertian Logika adalah suatu metode yang diciptakan untuk meneliti ketepatan penalaran (bentuk pemikiran yang masuk akal). Pernyataan adalah kalimat yang hanya
Lebih terperinciPERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT
PERTEMUAN 5 1.1 TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT Tautologi adalah suatu bentuk kalimat yang selalu bernilai benar (True) tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat penyusunnya,
Lebih terperinciMatematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs.
Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs. 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak akan sulit belajar Bahasa Java. Jika
Lebih terperinciLOGIKA MATEMATIKA I. PENDAHULUAN
LOGIKA MATEMATIKA I. PENDAHULUAN Logika adalah dasar dan alat berpikir yang logis dalam matematika dan pelajaran-pelajaran lainnya, sehingga dapat membantu dan memberikan bekal tambahan untuk menyampaikan
Lebih terperinciLOGIKA DAN PEMBUKTIAN
BAB I LOGIKA DAN PEMBUKTIAN A. PENGANTAR Prinsip dari logika matematika memiliki korelasi dengan pembuktian kebenaran yang dilakukan menggunakan tabel kebenaran ataupun tanpa menggunakan tabel kebenaran
Lebih terperinciMatematika Komputasional. Pengantar Logika. Oleh: M. Ali Fauzi PTIIK - UB
Matematika Komputasional Pengantar Logika Oleh: M. Ali Fauzi PTIIK - UB 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka
Lebih terperinciKuliah 2 1. LOGIKA (LOGIC) Matematika Diskrit. Dr.-Ing. Erwin Sitompul
Kuliah 2 1. LOGIKA (LOGIC) Dr.-Ing. http://zitompul.wordpress.com Solusi Pekerjaan Rumah (PR 1) Dua pedagang barang kelontong mengeluarkan semboyan dagang untuk menarik pembeli. Pedagang pertama mengumbar
Lebih terperinciLOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi
LOGIKA MATEMATIKA MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM Definisi Proposisi adalah suatu kalimat yang bernilai benar atau salah dan tidak keduanya Proposisi Kalimat Deklaratif Proposisi
Lebih terperinciI. PERNYATAAN DAN NEGASINYA
1 I. PERNYATAAN DAN NEGASINYA A. Pernyataan. Pernyataan adalah suatu kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus keduanya. Benar atau salahnya suatu pernyataan dapat ditunjukkan
Lebih terperinciBAB IV LOGIKA A. Pernyataan B. Operasi uner
BAB IV LOGIKA A. Pernyataan Pernyataan adalah kalimat matematika tertutup yang benar atau yang salah, tetapi tidak kedua-duanya pada saat yang bersamaan. Pernyataan biasa dilambangkan dengan p, q, r,...
Lebih terperinciLOGIKA & PEMBUKTIAN. Anita T. Kurniawati, MSi LOGIKA
LOGIKA & PEMBUKTIAN Anita T. Kurniawati, MSi LOGIKA Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). 1 Definisi: Kalimat deklaratif
Lebih terperinciLogika Proposisi. Rudi Susanto
Logika Proposisi Rudi Susanto 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa
Lebih terperinciIT105 MATEMATIKA DISKRIT. Ramos Somya, S.Kom., M.Cs.
IT105 MATEMATIKA DISKRIT Ramos Somya, S.Kom., M.Cs. TUJUAN Mahasiswa Memahami dan menguasai konsep dasar logika matematika Mahasiswa mempunyai daya nalar yang semakin tajam. POKOK BAHASAN Pernyataan dan
Lebih terperinciINGKARAN DARI PERNYATAAN
HAND-OUT Student Name : Subject : Matematika Wajib Grade/Class : / Toic : Logika Matematika Date : Teacher(s) : Mr. Daniel Kristanto Semester : 2 Parent s Signature : LOGIKA MATEMATIKA Kalimat logika matematika
Lebih terperinciKONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks
KONSEP DASAR LOGIKA MATEMATIKA Riri Irawati, M.Kom Logika Matematika - 3 sks Agenda 2 Pengantar Logika Kalimat pernyataan (deklaratif) Jenis-jenis pernyataan Nilai kebenaran Variabel dan konstanta Kalimat
Lebih terperinciLogika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)
Logika Proposisi Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisional Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak
Lebih terperinciLogika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012
Jurusan Informatika FMIPA Unsyiah September 26, 2012 Cara menentukan nilai kebenaran pernyataan majemuk dengan menggunakan tabel kebenaran, yaitu dengan membagi beberapa bagian (kolom). Nilai kebenarannya
Lebih terperinciLogika Matematika. Cece Kustiawan, FPMIPA, UPI
Logika Matematika 1. Pengertian Logika 2. Pernyataan Matematika 3. Nilai Kebenaran 4. Operasi Uner 5. Operasi Biner 6. Tabel kebenaran Pernyataan 7. Tautologi, Kontradiksi dan Kontingen 8. Pernyataan-pernyataan
Lebih terperinciMateri Kuliah IF2120 Matematika Diskrit. Logika (logic) Oleh: Rinaldi Munir. Program Studi Teknik Informatika STEI - ITB
Materi Kuliah IF2120 Matematika Diskrit Logika (logic) Oleh: Rinaldi Munir Program Studi Teknik Informatika STEI - ITB 1 Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak
Lebih terperinciMateri Kuliah IF2120 Matematika Diskrit. Logika (logic) Oleh: Rinaldi Munir. Program Studi Teknik Informatika STEI - ITB
Materi Kuliah IF2120 Matematika Diskrit Logika (logic) Oleh: Rinaldi Munir Program Studi Teknik Informatika STEI - ITB 1 Logika Logika adalah ilmu yang membantu kita dalam berpikir dan menalar (reasoning)
Lebih terperinciMateri Kuliah Matematika Komputasi. Oleh: Gembong Edhi Setyawan. Program Teknologi Informasi dan Ilmu Komputer Universitas Brawijaya
Materi Kuliah Matematika Komputasi Oleh: Gembong Edhi Setyawan Program Teknologi Informasi dan Ilmu Komputer Universitas Brawijaya 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika
Lebih terperinciLOGIKA MATEMATIKA. Tabel kebenarannya sbb : p ~ p B S S B
LOGIKA MATEMATIKA A. Pernyataan, kalimat terbuka, dan ingkaran pernyataan. 1. Pernyataan Pernyataan adalah kalimat yang mengandung nilai benar atau salah tetapi tidak sekaligus kedua-duanya. a. Hasil kali
Lebih terperinciBAB 6 EKUIVALENSI LOGIS
BAB 6 EKUIVALENSI LOGIS 1. Pendahuluan Bab ini akan membahas persamaan-persamaan antara dua buah ekspresi logika yang mungkin ekuivalen (sama), mungkin berbeda, yang kesamaan atau perbedaan tadi akan dibuktikan
Lebih terperinciLogika adalah jantung dari algoritma dan pemrograman. Contoh: if x mod 2 = 0 then x:=x + 1 else x:=x 1
LOGIKA 1 2 Logika adalah jantung dari algoritma dan pemrograman. Contoh: if x mod 2 = 0 then x:=x + 1 else x:=x 1 3 Contoh 4. Diketahui proposisi-proposisi berikut: p : Pemuda itu tinggi q : Pemuda itu
Lebih terperinciModul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI.
Modul ke: 5 Logika Matematika Proposisi & Kuantor Fakultas FASILKOM BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id Materi Pembelajaran Kalkulus Proposisi Konjungsi Disjungsi
Lebih terperinciNAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG
LOGIKA MATEMATIKA A. PERNYATAAN DAN KALIMAT TERBUKA Kalimat terbuka adalah kalimat yang belum dapat ditentukan nilai kebenarannya (benar dan salah). 1. Gadis itu cantik. 2. Bersihkan lantai itu. 3. Pernyataan/kalimat
Lebih terperinciRUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN
RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN Updated by Admin of Bahan Belajar Logika matematika merupakan salah satu materi pelajaran matematika dan cabang logika yang mengandung kajian matematis logika.
Lebih terperinciPERTEMUAN 2 TABEL KEBENARAN DADANG MULYANA. TABEL KEBENARAN (TB) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi.
PEREMUAN 2 ABEL KEBENARAN DADANG MULYANA ABEL KEBENARAN (B) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi. ABEL 1 : B untuk proposisi dan negasinya p p MASALAH LOGIKA 1
Lebih terperinciBAB I DASAR-DASAR LOGIKA
BAB I DASAR-DASAR LOGIKA 11 Pendahuluan Logika adalah suatu displin yang berhubungan dengan metode berpikir Pada tingkat dasar, logika memberikan aturan-aturan dan teknik-teknik untuk menentukan apakah
Lebih terperinci1.3 Pembuktian Tautologi dan Kontradiksi. Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi
1.3 Pembuktian 1.3.1 Tautologi dan Kontradiksi Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi yang membentuknya disebut toutologi, sedangkan proposisi yang selalu bernilai salah
Lebih terperinciPETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321. SEMESTER : GANJIL (5) DOSEN : MAULANA, S.Pd., M.Pd.
Doc Logika Matematika PGSD Maulana 1 PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321 BOBOT SKS : 2 (DUA) TAHUN AKADEMIK : 2007/2008 PROGRAM : PGSD S-1 KELAS SEMESTER : GANJIL
Lebih terperinciSTMIK Banjarbaru EKUIVALENSI LOGIKA. 10/15/2012 H. Fitriyadi & F. Soesianto
1 EKUIVALENSI LOGIKA 2 Pada tautologi dan kontradiksi, dapat dipastikan bahwa jika dua buah ekspresi logika adalah tautologi, maka kedua buah ekspresi logika tersebut ekuivalen secara logis, demikian pula
Lebih terperinciLogika Proposisi. Adri Priadana ilkomadri.com
Logika Proposisi Adri Priadana ilkomadri.com Matematika Diskrit Apa? Cabang matematika yg mempelajari tentang obyek diskrit. Apa yang dimaksud dengan kata diskrit (discrete)? Objek disebut diskrit jika:
Lebih terperinciContoh 1.36 Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika.
Contoh 1.36 Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika. (a) Nyatakan pernyataan di atas dalam notasi simbolik (ekspresi logika) (b) Berikan pernyataan
Lebih terperinciBAB 7 PENYEDERHANAAN
BAB 7 PENYEDERHANAAN 1. Pendahuluan Bab ini membahaspenggunaan hukum-hukum logika pada operasi logika yang dinamakan penyederhaan (simplifying). Berbagai macam ekuivalensi dari berbagai ekpresi logika
Lebih terperinciPERTEMUAN Logika Matematika
2-1 PERTEMUAN 2 Nama Mata Kuliah : Matematika Diskrit (3 SKS) Nama Dosen Pengampu : Dr. Suparman E-mail : matdis@netcourrier.com HP : 081328201198 Judul Pokok Bahasan Tujuan Pembelajaran : 2. Logika Matematika
Lebih terperinciMatematika diskrit Bagian dari matematika yang mempelajari objek diskrit.
Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit. Banyak masalah yang dapat diatasi dengan menggunakan konsep yang ada di MATDIS, antara lain : 1. Berapa besar kemungkinan kita
Lebih terperinciLOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3.
LOGIKA PROPOSISI 3.1 Proposisi Proposisi adalah suatu pernyataan yang bernilai benar atau salah, tetapi tidak dapat sekaligus keduanya. Kebenaran atau kesalahan dari sebuah kalimat disebut nilai kebenarannya.
Lebih terperinciArgumen premis konklusi jika dan hanya jika Tautolog
INFERENSI LOGIKA Argumen adalah suatu pernyataan tegas yang diberikan oleh sekumpulan proposisi P 1, P 2,...,P n yang disebut premis (hipotesa/asumsi) dan menghasilkan proposisi Q yang lain yang disebut
Lebih terperinciLOGIKA MATEMATIKA. LA - WB (Lembar Aktivitas Warga Belajar) MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X
LA - WB (Lembar Aktivitas Warga Belajar) LOGIKA MATEMATIKA Oleh: Hj. ITA YULIANA, S.Pd, M.Pd MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X Created By Ita Yuliana 37 Logika Matematika Kompetensi
Lebih terperinciProgram Studi Teknik Informatika STMIK Tasikmalaya
Materi Kuliah Logika Matematika Oleh: Dadang Mulyana Program Studi Teknik Informatika STMIK Tasikmalaya dadang mulyana 2013 1 Info Dosen Nama : Dadang Mulyana Alamat : Ciamis HP. :- E-mail tugas : dadangstmik@gmail.com
Lebih terperinciUnit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan
Unit 5 PENALARAN/LOGIKA MATEMATIKA Wahyudi Pendahuluan D alam menyelesaikan permasalahan matematika, penalaran matematis sangat diperlukan. Penalaran matematika menjadi pedoman atau tuntunan sah atau tidaknya
Lebih terperinciLOGIKA. Logika Nilai kebenaran pernyataan majemuk Ingkaran suatu pernyataan Penarikan kesimpulan. A. Pernyataan, Kalimat Terbuka, Ingkaran.
LOGIKA Standar Kompetensi Lulusan (SKL) Memahami pernyataan dalam matematika dan ingkarannya, menentukan nilai kebenaran pernyataan majemuk, serta mampu menggunakan prinsip logika matematika dalam pemecahan
Lebih terperinciJadi penting itu baik, tapi jadi baik jauh lebih penting
LOGIKA MATEMATIKA Logika Matematika - Pernyataan, Nilai Kebenaran, dan Kalimat Terbuka - Pernyataan Majemuk - Konvers, Invers, dan Kontraposisi - Kuantor Universal dan Kuantor Eksistensial - Ingkaran dari
Lebih terperinciLOGIKA Matematika Industri I
LOGIKA TIP FTP UB Pokok Bahasan Pengertian Logika Pernyataan Matematika Nilai Kebenaran Operasi Uner Operasi Biner Tabel kebenaran Pernyataan Tautologi, Kontradiksi dan Kontingen Pernyataan-pernyataan
Lebih terperinci1. SET. Descrete Mathematics 1
1. SET 1 Discrete Mathematics 1. Set and Logic 2. Relation 3. Function 4. Induction 5. Boolean Algebra and Number Theory MID 6. Graf dan Tree/Pohon 7. Combinatorial 8. Discrete Probability UAS 2 SET (CONT..)
Lebih terperinciPengantar Logika - 2
Matematika Komputasional Pengantar Logika - 2 Oleh: M. Ali Fauzi PTIIK - UB 1 Tingkat Presedensi Urutan pengerjaan logika: 2 Tingkat Presedensi Urutan pengerjaan logika: Jadi, jika ada p q r berarti lebih
Lebih terperinciLOGIKA MATEMATIKA Menuju TKD 2014
LOGIKA MATEMATIKA Menuju TKD 2014 A. PERNYATAAN MAJEMUK Jenis-jenis pernyataan majemuk: 1. Konjungsi (^ = dan ) A: Hari ini Jowoki kampanye B: Hari ini Jowoki Umroh Konjungsi (A ^ B): Hari ini Jowoki kampanye
Lebih terperinciPERTEMUAN Logika Matematika
1-1 PERTEMUAN 1 Nama Mata Kuliah : Matematika Diskrit ( 3 SKS) Nama Dosen Pengampu : Dr. Suparman E-mail : matdis@netcourrier.com HP : 081328201198 Judul Pokok Bahasan Tujuan Pembelajaran : 1. Logika Matematika
Lebih terperinciSilogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C
MSH1B3 Logika Matematika Dosen: Aniq A Rohmawati, M.Si Kalkulus Proposisi [Definisi] Metode yang digunakan untuk meninjau nilai kebenaran suatu proposisi atau kalimat Jika Anda belajar di Tel-U maka Anda
Lebih terperinciMAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC
MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA Nama : NURHIDAYAT NIM : DC 113 055 JURUAN TEKNIK INFORMATIKA FAKULTA TEKNIK UNIVERITA PALANGKA RAYA 2013 A I PENGERTIAN Logika adalah dasar dan alat berpikir
Lebih terperinciProposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono
Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono bimo@te.ugm.ac.id Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang
Lebih terperinciMATERI 1 PROPOSITIONAL LOGIC
MATERI 1 PROPOSITIONAL LOGIC 1.1 Pengantar Beberapa pernyataan (statement) dapat langsung diterima kebenarannya tanpa harus tahu kebenaran pembentuknya Ada kehidupan di Bulan atau tidak ada kehidupan di
Lebih terperinciKALIMAT MAJEMUK DAN KONEKTIVITAS
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
Lebih terperinci4. LOGIKA MATEMATIKA
4. LOGIKA MATEMATIKA A. Negasi (Ingkaran) Negasi adalah pengingkaran terhadap nilai kebenaran suatu pernyataan. ~ p : tidak p p ~ p B S S B B. Operator Logika 1) Konjungsi adalah penggabungan dua pernyataan
Lebih terperinciLOGIKA MATEMATIKA. Pernyataan
LOGIKA MATEMATIKA 1 PERNYATAAN DAN UKAN PERNYATAAN A Pengertian logika Matematika Logika adalah ilmu untuk berpikir dan menalar dengan benar. Logika matematika (logika simbolik) adalah ilmu tentang penyimpulan
Lebih terperinciBAHAN KULIAH LOGIKA MATEMATIKA
BAHAN KULIAH LOGIKA MATEMATIKA O L E H A. Rahman H., S.Si, MT & Muhammad Khaidir STTIKOM Insan unggul Jl. S.A. tirtayasa no. 146 Komp. Istana Cilegon blok B 25-28 Cilegon Banten 42414 http://didir.co.cc
Lebih terperinciBAB I PENDAHULUAN. 1.1 Latar Belakang
BAB I PENDAHULUAN 1.1 Latar Belakang Proposisi adalah pernyataan yang dapat ditentukan nilai kebenarannya, bernilai benar atau salah tetapi tidak keduanya. Sedangkan, Kalkulus Proposisi (Propositional
Lebih terperinci