LOGIKA INFORMATIKA. Bahan Ajar

dokumen-dokumen yang mirip
LOGIKA INFORMATIKA. Bahan Ajar

Teknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

Berpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I)

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)

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

SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012

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

SILABUS, RPP, RPS LOGIKA INFORMATIKA. Program Studi Informatika FAKULTAS TEKNIK- UNIVERSITAS PGRI SEMARANG

MATEMATIKA DISKRIT. Logika

MATEMATIKA DISKRIT LOGIKA

RENCANA PEMBELAJARAN

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

Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut.

Refreshing Materi Kuliah Semester Pendek 2010/2011. Logika dan Algoritma. Heri Sismoro, M.Kom.

MATERI 1 PROPOSITIONAL LOGIC

BAB 7 PENYEDERHANAAN

LOGIKA. /Nurain Suryadinata, M.Pd

Matematika Industri I

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

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

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

BAB 3 TABEL KEBENARAN

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

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1

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

SILABUS MATA KULIAH MATEMATIKA DISKRIT

MODUL 3 OPERATOR LOGIKA

PENGENALAN LOGIKA MATEMATIKA

PERNYATAAN (PROPOSISI)

BAB I DASAR-DASAR LOGIKA

Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi

PROPOSISI MATEMATIKA SISTEM INFORMASI 1

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

Selamat Datang. MA 2151 Matematika Diskrit. Semester I, 2012/2013. Rinovia Simanjuntak & Edy Tri Baskoro

Logika Informatika. Bambang Pujiarto

LOGIKA Pendidikan Teknik Informatika

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1

KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak

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.

KEMENTERIAN RISET, TEKNOLOGI DAN PENDIDIKAN TINGGI FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA PROGRAM STUDI PENDIDIKAN TEKNIK ELEKTRONIKA

Materi Kuliah IF2091 Struktur Diskrit. Pengantar Logika. Oleh: Rinaldi Munir. Program Studi Informatika STEI - ITB

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

Soal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika

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

FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA SILABUS LOGIKA

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

Konvers, Invers dan Kontraposisi

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

FPMIPA UPI ILMU KOMPUTER I. TEORI HIMPUNAN

LOGIKA INFORMATIKA PROPOSITION LOGIC. Materi 1. Proposition Sentences Notation Interpretation Exercise

Logika Proposisi. Adri Priadana ilkomadri.com

REPRESENTASI PENGETAHUAN. Pertemuan 6 Diema Hernyka Satyareni, M. Kom

UNIVERSITAS MERCU BUANA

Program Studi Teknik Informatika STMIK Tasikmalaya

PDE - ALJABAR BOOLEAN 1

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

Kata Pengantar... Daftar Isi... Apakah Matematika Diskrit Itu? Logika... 1

BAB I1 : DASAR-DASAR LOGIKA

Modul Praktikum. Logika Dasar. Dosen Pengampu: Anie Rose Irawati M.Cs. Penyusun:

Selamat Datang. MA 2251 Matematika Diskrit. Semester II, 2016/2017. Rinovia Simanjuntak & Saladin Uttunggadewa

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

LOGIKA. Arum Handini Primandari

BAB 6 EKUIVALENSI LOGIS

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

Dasar-dasar Logika. (Review)

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

DESKRIPSI MATA KULIAH

Representasi Pengetahuan (Bagian 3) Logika dan Himpunan. Pertemuan 6

ALGORITMA STRUCTURED ENGLISH DAN PSEUDOCODE

BAHAN KULIAH LOGIKA MATEMATIKA

MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

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

PERTEMUAN 3 DASAR-DASAR LOGIKA

BAB IV LOGIKA A. Pernyataan B. Operasi uner

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

Matematika Komputasional. Pengantar Logika. Oleh: M. Ali Fauzi PTIIK - UB

Diktat Kuliah LOGIKA INFORMATIKA. Oleh : Didin Astriani Prasetyowati, M.Stat

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

BAB I LOGIKA MATEMATIKA

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

LOGIKA DAN PEMBUKTIAN

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

PERTEMUAN Logika Matematika


ALGORITMA STRUCTURED ENGLISH DAN PSEUDOCODE

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 10/28/2008> Pertemuan-1-2 1

LOGIKA DAN BUKTI. Drs. C. Jacob, M.Pd

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

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

Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya.

Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit.

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

BAB I PENDAHULUAN. 1.1 Latar Belakang

Pertemuan 1. Pendahuluan Proposisi Jenis-Jenis Proposisi

Matematika Diskrit LOGIKA

Transkripsi:

LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016

Daftar Isi Daftar Isi ii Daftar Gambar iii Daftar Tabel iv 1 Pengantar Logika Proposisional & Operator Logika 1 1.1 Definisi................................ 1 2 Kesetaraan Logis Dan Relasi Ekivalensi 7 2.1 Pernyataan dan Bukan Pernyataan................ 7 3 Argumen & Validitas 8 4 Pohon Semantik 9 5 Kuantor Pernyataan Dan Induksi Matematika 10 6 Logika Predikat 11 7 Aljabar Boolean 12 8 Gerbang Logika 13 ii

Daftar Isi 9 Penyederhanaan Fungsi Boolean Secara Aljabar & Peta Karnaugh 14 10 Penyederhanaan Fungsi Boolean Dengan Metode Quine-Mccluskey 15 A Perhitungan Mean dan Variansi Pada Model 17 Daftar Pustaka 17 iii

Daftar Gambar iv

Daftar Tabel 1.1 Tabel kebenaran Inclusive or................... 2 1.2 Tabel kebenaran Exclusive or................... 3 1.3 Tabel kebenaran Exclusive or................... 5 v

Bab 1 Pengantar Logika Proposisional & Operator Logika 1.1 Definisi Logika adalah suatu sistem berbasis proposisi. Sistem adalah kesatuan yang terdiri dari komponen atau elemen yang dihubungkan bersama untuk memudahkan aliran informasi, materi, atau energi untuk mencapai suatu tujuan. Proposisi adalah suatu pernyataan (statement) yang dapat bernilai benar (true) atau salah (false), tetapi tidak keduanya. Dikatakan bahwa nilai kebenaran suatu proposisi adalah salah satu dari Benar (True) disajikan dengan T atau Salah (False) disajikan dengan F. Dalam untaian digital (digital circuits) disajikan dengan 0 dan 1. Jika proposisi-proposisi akan dikombinasikan untuk memperoleh proposisi baru maka diperlukan operator logika yang dilambangkan sebagai berikut. 1. : not tau negasi 2. : and atau konjungsi 1

BAB 1 : Pengantar Logika Proposisional & Operator Logika 3. : or atau disjungsi atau inclusive or 4. : implies, atau Jika... maka..., atau implikasi kondisional 5. : jika dan hanya jika, atau bikondisional 1. Negasi Jika p sebarang proposisi, penyataan not p atau negasi daripada p akan bernilai F jika p bernailai T dan sebaliknya. Ditulis dengan p 2. Konjungsi / conjunction (and) Konjungsi adalah suatu operator binary atau diadika (diadic). Jika p dan q suatu proposisi, pernyataan p dan q akan benilai kebenaran T jika dan hanya jika kedua p dan q mempunyai nilai kebenaran T, dan ditulis dengan p q. Sifat: (a) Komutatif (p q = q p) (b) Asosiatif ((p q) r = p (q r)) 3. Disjungsi (or) Pernyataan p or q bernilai T jika dan hanya jika salah satu p atau q (atau keduanya) bernilai T ditulis dengan p q. Sifat: (a) Komutatif (p q = q p) (b) Asosiatif ((p q) r = p (q r)) Terdapat dua pengertian or yaitu inclusive or dan exclusive or. Inclusive or peristiwanya dapat terjadi keduanya bersamaan. Exclusive or peristiwanya tidak dapat terjadi keduanya bersamaan. Tabel 1.1: Tabel kebenaran Inclusive or p q T T T T T T F T T F F F 2

BAB 1 : Pengantar Logika Proposisional & Operator Logika Tabel 1.2: Tabel kebenaran Exclusive or p q T F T T T F F T T F F F 4. Implikasi (Implication) Arti daripada pernyataan if p then q atau q if p atau p hanya jika q atau q syarat perlu untuk p atau p syarat cukup untuk q adalah T jika salh satu dari p bernilai T dan q bernilai T atau jika p benilai F. Ilustrasi dari implikasi adalah sebagai berikut Jika Anita pergi keluar negeri maka ia mempunyai passport Penjelasannya adalah sebagai berikut. (a) Jika Anita keluar negeri (T) dan Ia mempunyai passport (T), maka legal (T) (b) Jika Anita keluar negeri (T) dan Ia tidak mempunyai passport (F), maka ilegal (F) (c) Jika Anita tidak keluar negeri (F) dan Ia mempunyai passport (T), maka legl (T) (d) Jika Anita tidak keluar negeri (F) dan Ia tidak memiliki passport (F), maka legal (T) Pernyataan p q selalu mempunyai tabel kebenaran ( p) q dan juga dengan (p q) 5. Ekuivalensi Pernyataan p ekuivalen dengan q mempunyai nilai kebenaran T jika dan hanya jika p dan q mempunyai nilai kebenaran yang sama ditulis dengan simbol p q. Sifat: 3

BAB 1 : Pengantar Logika Proposisional & Operator Logika (a) Komutatif (p q = q p) (b) Asosiatif ((p q) r = p (q r)) (c) Pernyataan (p q) mempunyai tabel kebenaran yang sama dengan pernyataan p q (d) Perhatikam bahwa ia juga dapat dipikirkan sebagai pernyataan p jika dan hanya jika q (e) Bikondisial : p q = (p q) (q p) Prioritas Operator Seperti pada ungkapan dalam ilmu hitung, maka operator logika pun terdapat prioritas sebagai berikut. 1. Operator ( ) prioritas tertinggi 2. Operator ( ) berprioritas berikutnya 3. Operator ( ) berprioritas berikutnya 4. Operator ( ) berprioritas berikutnya 5. Operator ( ) berprioritas berikutnya 6. dan seterusnya operator yang lain Contoh: 1. Saya lapar dan Saya malas atau Saya bahagia dan Saya telah makan enak, berarti (Saya lapar dan saya malas) atau (Saya bahagia dan saya telah makan enak) 2. Saya lapar saya sedih saya bahagia saya telah kekenyangan, berarti (Saya lapar saya sedih) (Saya bahagia saya telah kekenyangan) 4

BAB 1 : Pengantar Logika Proposisional & Operator Logika 3. p q r s p r t Diartikan sebagai (((p ( q)) r) s) (p ( r)) t Kalimat yang bukan pernyataan diantaranya kalimat perintah, kaimat pertanyaan, kalimat keheranan, kalimat harapan Logika Proporsional (Notasi Operator logis/ functor) Tabel 1.3: Tabel kebenaran Exclusive or Operator Prof. Suhakso Peano Russel Hilbert Burke Kuliah Polandia Konjungsi p & q p. q p & q p q p q K p q Disjungsi p q p q p q p q p q p q Negasi p ;p p p p p N p Implikasi p q p q p q p q p q C p q Bi-implikasi p q p q p q p q p q E p q Contoh 1. Notasi Polandia: E p q Disajikan dalam notasi yag lain: p q = p q = p q 2. Polandia: C K p q r Disajikan dalam notasi lain: C (p & q) r = (p & q) r 3. Notasi Operator logika biasa: (p q) Disajikan dalam notasi polandia : N A p q 4. Notasi Operator Logika Biasa : ((p q) r) Disajikan dalam notasi polandia : N C A p q r 5. Notasi operator logika biasa: ((p q) r (p q ) Disajikan dalam notasi polandia E C A p q r K p q 5

BAB 1 : Pengantar Logika Proposisional & Operator Logika 6. Notasi opertaor logika biasa : ((p q) (q r)) (p r ) Disajikan dalam notasi polandia: E C A p q K q r N C A p N r q 7. Notasi Operator Logika Biasa: ((p q) r) ((p r) q) ((Kpq) r) ((p r) ) q) C(Kpq)r ((p r) q) C(Kpq)r ((p (Nr)) q) C(kpq)r (Kp(Nr) q) C(Kpq)r (Kp(Nr) (Nq)) C(Kpq)r (C(Kp(N r)(n q)) ECKpqrCKpN rn q 6

Bab 2 Kesetaraan Logis Dan Relasi Ekivalensi 2.1 Pernyataan dan Bukan Pernyataan Mana yang pernyataan dan mana yang bukan pernyataan: 1. Ngawi adalah ibukota propinisi Jawa Timur 2. Dilarang merokok 3. Sesama Cabup tidak boleh saling mendahului 7

Bab 3 Argumen & Validitas 8

Bab 4 Pohon Semantik 9

Bab 5 Kuantor Pernyataan Dan Induksi Matematika 10

Bab 6 Logika Predikat 11

Bab 7 Aljabar Boolean 12

Bab 8 Gerbang Logika 13

Bab 9 Penyederhanaan Fungsi Boolean Secara Aljabar & Peta Karnaugh 14

Bab 10 Penyederhanaan Fungsi Boolean Dengan Metode Quine-Mccluskey 15

Daftar Pustaka 1. Heri Sismoro. 2005. Pengantar Logika Informatika, Algoritma dan Pemrograman Komputer. Penerbit ANDI : Yogyakarta 2. Program Studi Teknik Informatika (2014). Bahan Ajar Logika Informatika. Universitas Negeri Semarang 3. Retno Hendrowati dan Bambang Hariyanto. 2000. Logika Matematika. Penerbit Informatika : Bandung 4. Setiadji. 2007. Logika Informatika. Penerbit Graha Ilmu : Yogyakarta. 5. Soesianto, F & Djoni Dwijono. 2010. Logika Matematika untuk Ilmu Komputer. Andi. Yogyakarta 16

Lampiran A Perhitungan Mean dan Variansi Pada Model 17