Logika Informatika. Bambang Pujiarto
|
|
- Leony Sanjaya
- 7 tahun lalu
- Tontonan:
Transkripsi
1 Logika Informatika Bambang Pujiarto
2 LOGIKA mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argument yang valid studi tentang kriteria-kriteria untuk mengevaluasi argumenargumen dengan menentukan mana argumen yang valid dan membedakan antara argumen yang baik dan argumen yang tidak baik FILSAFAT MATEMATIKA KOMPUTER
3 Pengantar Logika Berperan dalam ilmu komputer (pemrograman) Dasar2 matematis suatu perangkat lunak (memformalkan semantik bahasa pemrograman & spesifikasi program) Contoh: dalam membuat gerbang logika ( logic gates ) dan arsitektur komputer sebagai inti mikroprosesor, otak komputer/cpu Contoh implementasi: AC, kulkas, mesin cuci
4 Pengertian Logika Metode/teknik yang diciptakan untuk meneliti ketepatan penalaran serta mengkaji prinsip2 penalaran yg benar & penarikan kesimpulan yang absah Berhubungan dg kalimat2 (argumen) & hubungan antar kalimat2 tsb, untuk menentukan kebenaran Mengarah bentuk (sintaks) daripada arti dari kalimat itu sendiri
5 Gambaran Umum Dibedakan mjd 2, yaitu logika pasti & tidak pasti Logika Pasti: Logika Pernyataan (Propositional Logic) Logika Predikat (Predicate Logic) Logika Kombinasional (Combinational Logic) Logika Tidak Pasti Logika Samar/Logika Kabur (Fuzzy Logic)
6 Pengertian Logika Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata hubungnya sehingga didapat kalimat majemuk yang berupa kalimat deklaratif. Logika Predikat menelaah variabel dalam suatu kalimat, kuantifikasi dan validitas sebuah argumen. Logika Kombinasional, Logika Samar merupakan pertengahan dari dua nilai biner yaitu yatidak, nol-satu, benar-salah.
7 Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,..) yang memiliki nilai kebenaran (True atau False). Diwakili oleh kalimat deklaratif. Lawan kalimat deklaratif Kalimat Terbuka Untuk mengkombinasikan dua atau lebih proposisi diperlukan connective/penghubung.
8 Syntactics Rule (Aturan Sintaktik) Adalah aturan yang diperlukan untuk mengkombinasikan antara propositions dan propositional connectives untuk menghasilkan sentences (kalimat logika). Propositions + Propositional Connectives Sentences Propositional connective yang digunakan adalah : Not (~), and ( ), or ( ), if then - ( ), If then - else, dan if and only if ( )
9 Interpretasi Adalah pemberian nilai kebenaran (true atau false) pada setiap symbol proposisi dari suatu kalimat logika. p True p False atau q True q False
10 Semantic Rule (Aturan Semantik) Adalah suatu aturan yang digunakan untuk menentukan truth value dari suatu sentence, Negation Rule (Aturan NOT) p True False not p False True
11 Semantic Rule (Aturan Semantik) Adalah suatu aturan yang digunakan untuk menentukan truth value dari suatu sentence, Conjunction Rule (Aturan AND) p q p and q True True True True False False False True False False False False
12 Semantic Rule (Aturan Semantik) Adalah suatu aturan yang digunakan untuk menentukan truth value dari suatu sentence, Disjunction Rule (Aturan OR) p q p or q True True True True False True False True True False False False
13 Sifat-sifat aljabar logika untuk konjungsi dan disjungsi a.hukum Idempoten p v p = p p ʌ p = p b.hukum Komutatif p v q = q v p p ʌ q = q ʌ p c.hukum Assosiatif (pvq) v r = pv(qvr) (pʌq) ʌ r = pʌ(qʌr)
14 Sifat-sifat aljabar logika untuk konjungsi dan disjungsi c.hukum Assosiatif (pvq)v r = pv(qvr) (pʌq) ʌr = pʌ(qʌr) d.hukum Distributif pv(qʌr) = (pvq) ʌ (pvr) pʌ(qvr) = (pʌq) v (pʌr) e.hukum Identitas pv False = p pʌtrue = p pv True = True pʌ False = False
15 Sifat-sifat aljabar logika untuk konjungsi dan disjungsi f.hukum Komplemen pv not p = True pʌnot p = False not (not p) = p g.hukum De Morgan Negasi dari konjungsi dan disjungsi: not (pvq) = not p ʌ not q not (pʌq) = not p v not q
16
17 Implication Rule (Aturan IF-THEN) Implikasi bernilai salah bila anteseden benar dan konsekuen salah p q If p then q True True True True False False False True True False False True
18 Implication Rule (Aturan IF-THEN) Jika (p q) adalah implikasi, maka : (q p) adalah konvers (not p not q) adalah invers (not q not p) adalah kontraposisi Jika (p q) bernilai benar, maka: belum tentu (q p), (not p not q), (not q not p) bernilai benar.
19 Equivalence Rule (Aturan IF -AND ONLY IF -) Biimplikasi bernilai benar, jika penyusun proposisi bernilai sama p q p if and only if q True True True True False False False True False False False True
20 Conditional Rule (Aturan IF THEN-ELSE) Jika p bernilai benar maka q berlaku Jika p bernilai salah maka r berlaku p q r if p then q else r True True True True True True False True True False True False True False False False False True True True False True False False False False True True False False False False
21 LATIHAN Ubahlah kalimat logika berikut ke dalam simbol konvensional: 1.(if p then q) or (if q then p) 2.(not q) or not (ifp then (notq) and p) 3.(if p then (not q))if and only if not (p and q) 4.(if (p or q) then r) if and only if ((if p then r) and (if q then r)) 5.(p if and only if (q if and only if r))if and only if ((p if and only if q) if and only if r)
22 LATIHAN 1. Tentukan nilai kebenaran (truth value) dari sentence berikut, dengan menggunakan truth table : a. F: (f and g) if and only if (g and g) b. G: if (if p then q) then q c. H: ((p or q) and not r) if and only if (if p then r) and (if q then r)
23 LATIHAN 2. Jika diberikan suatu nilai (interpretasi) True untuk p dan s dan False untuk q dan r, maka tentukanlah nilai kebenaran untuk kalimat berikut: a. ((if p then q) and (if q then p) if and only if (q or not p) b. (p and (if r then s)) if and only if ((if r then s) and p)
24
Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta
Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta Logika proposisional merupakan ilmu dasar untuk mempelajari algoritma dan logika yang terkait di dalamnya yang berperanan sangat penting dalam pemrograman.
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 terperinciDasar-dasar Logika. (Review)
Dasar-dasar Logika (Review) Intro Logika berhubungan dengan kalimat-kalimat dan hubungan antar kalimat. Tujuan: menentukan apakah suatu kalimat / masalah bernilai benar (TRUE) atau salah (FALSE) Kalimat
Lebih terperinciLOGIKA INFORMATIKA PROPOSITION LOGIC. Materi 1. Proposition Sentences Notation Interpretation Exercise
Materi 1 PROPOSITION LOGIC Proposition Sentences Notation Interpretation Exercise LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta 2010 1 Propositions Komponen dasar pembentuk kalimat logika
Lebih terperinciTABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8
P a g e 8 TABEL KEBENARAN A. Logika Proposisional dan Predikat Logika proposional adalah logika dasar yang harus dipahami programmer karena logika ini yang menjadi dasar dalam penentuan nilai kebenaran
Lebih terperinciBerpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I)
Berpikir Komputasi Sisilia Thya Safitri, MT Citra Wiguna, M.Kom 3 Logika Proposisional (I) Capaian Sub Pembelajaran Mahasiswa dapat memahami logika proposisional sebagai dasar penerapan algoritma. Outline
Lebih terperinciRefreshing Materi Kuliah Semester Pendek 2010/2011. Logika dan Algoritma. Heri Sismoro, M.Kom.
Refreshing Materi Kuliah Semester Pendek 2010/2011 Logika dan Algoritma Heri Sismoro, M.Kom. STMIK AMIKOM YOGYAKARTA 2011 Materi 1. Logika Informatika Adalah logika dasar dalam pembuatan algoritma pada
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 terperinciLOGIKA INFORMATIKA PROPOSITION LOGIC. Materi-2. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta
Materi-2 PROPOSITION LOGIC LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta STMIK AMIKOM YOGYAKARTA Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208 Website:
Lebih terperinciBAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?
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
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 (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 terperinciPENGERTIAN. 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 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 terperinciDASAR-DASAR LOGIKA 1
DASAR-DASAR LOGIKA 1 PENGERTIAN UMUM LOGIKA Filsafat dan matematika adalah bidang pengetahuan rasional yang ada sejak dahulu. Jauh sebelum matematika berkembang seperti sekarang ini dan penerapannya menyentuh
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 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 terperinciPERTEMUAN 3 DASAR-DASAR LOGIKA
PERTEMUAN 3 DASAR-DASAR LOGIKA 1.1 PENGERTIAN UMUM LOGIKA Filsafat dan matematika adalah bidang pengetahuan rasional yang ada sejak dahulu. Jauh sebelum matematika berkembang seperti sekarang ini dan penerapannya
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 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 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 terperinciMODUL 3 OPERATOR LOGIKA
STMIK STIKOM BALIKPAPAN 1 MODUL 3 OPERATOR LOGIKA 1. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN 1. Tema : Operator Logika 2. Fokus Pembahasan Materi Pokok : 1. Operator Logika Konjungsi 2. Operator Logika Disjungsi
Lebih terperinciSoal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika
Soal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika Mata Ujian : Logika dan Algoritma Dosen : Heri Sismoro, S.Kom., M.Kom. Hari, tanggal : Selasa, 07 Agustus 2007 Waktu : 100 menit
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 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 terperinciDiktat Kuliah LOGIKA INFORMATIKA. Oleh : Didin Astriani Prasetyowati, M.Stat
Diktat Kuliah LOGIKA INFORMATIKA Oleh : Didin Astriani Prasetyowati, M.Stat PROGRAM STUDI INFORMATIKA FAKULTAS ILMU KOMPUTER UNIVERSITAS INDO GLOBAL MANDIRI TAHUN AJARAN 2015/2016 DAFTAR ISI BAB 1 : DASAR-DASAR
Lebih terperinciRepresentasi Kalimat Logika ke dalam Matriks Trivia
Representasi Kalimat Logika ke dalam Matriks Trivia Rio Chandra Rajagukguk 13514082 Program Studi Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung 40132,
Lebih terperinciPERNYATAAN (PROPOSISI)
Logika Gambaran Umum Logika : - Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata hubungnya sehingga didapat kalimat majemuk yang berupa kalimat deklaratif. - Logika Predikat menelaah
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 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 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 terperinciPertemuan 1. Pendahuluan Proposisi Jenis-Jenis Proposisi
Pertemuan 1 Pendahuluan Proposisi Jenis-Jenis Proposisi Sejarah Pekembangan Logika Logika dalam ilmu komputer digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan,
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 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 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 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 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 terperinciSINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012
SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI Matematika Logika Semester Ganjil 2011/2012 PROPOSISI Proposisi atau kalimat dalam logika proposisi bisa berupa Atom/kalimat sederhana Kalimat kompleks, komposisi
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 terperinciPengenalan Logika Informatika. Pertemuan 1 Viska Armalina, ST.,M.Eng
Pengenalan Logika Informatika Pertemuan 1 Viska Armalina, ST.,M.Eng Pendahuluan Asal kata Logika Logic (Bahasa Inggris) Logos (Yunani) Arti : dalam bahasa Inggris : Word, Speech, what is spoken, thought,
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 terperinciSelamat Datang. MA 2151 Matematika Diskrit. Semester I, 2012/2013. Rinovia Simanjuntak & Edy Tri Baskoro
Selamat Datang di MA 2151 Matematika Diskrit Semester I, 2012/2013 Rinovia Simanjuntak & Edy Tri Baskoro 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 7 th edition, 2007.
Lebih terperinciLOGIKA DAN BUKTI. Drs. C. Jacob, M.Pd
LOGIKA DAN UKTI Drs. C. Jacob, M.Pd Email: cjacob@upi.edu Untuk mampu mengerti matematika dan argumen matematis perlu memiliki suatu pengertian mendalam logika dan cara di mana mengenal fakta-fakta yang
Lebih terperinciREPRESENTASI PENGETAHUAN
REPRESENTASI PENGETAHUAN Representasi Pengetahuan (Knowledge Representation) dimaksudkan untuk menangkap sifatsifat penting masalah dan membuat infomasi dapat diakses oleh prosedur pemecahan masalah. Bahasa
Lebih terperinciLogika Proposisi 1: Motivasi Pohon Urai (Parse Tree)
Logika Proposisi 1: Motivasi Pohon Urai (Parse Tree) Kuliah Logika Matematika Semester Ganjil 2015-2016 MZI Fakultas Informatika Telkom University FIF Tel-U Agustus 2015 MZI (FIF Tel-U) Logika Proposisi
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 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 terperinciSelamat Datang. MA 2251 Matematika Diskrit. Semester II, 2016/2017. Rinovia Simanjuntak & Saladin Uttunggadewa
Selamat Datang di MA 2251 Matematika Diskrit Semester II, 2016/2017 Rinovia Simanjuntak & Saladin Uttunggadewa 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 7 th edition,
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 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 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 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 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 terperinciPROPOSISI. Novy SetyaYunas. Pertemuan 4
Pertemuan 4 PROPOSISI Novy SetyaYunas Phone: [+62 8564 9967 841] Email: novysetiayunas@gmail.com Online Course: https://independent.academia.edu/yunaszone KAITAN LOGIKA DAN BAHASA Ada dua aspek penting
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 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 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 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 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 INFORMATIKA. Bahan Ajar
LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016 Bab 1 Pengantar Logika Proposisional
Lebih terperinciBAB 3 TABEL KEBENARAN
BAB 3 TABEL KEBENARAN 1. Pendahuluan Logika adalah ilmu tentang penalaran (reasoning). Penalaran berarti mencari bukti validitas dari suatu argumen, mencari konsistensi dan pernyataan-pernyataan, dan membahas
Lebih terperinciPENGENALAN LOGIKA INFORMATIKA
1 PENGENALAN LOGIKA INFORMATIKA PENDAHULUAN STMIK Banjarbaru 2 Logika(logic) berasal dari kata bahasa Yunani logos yaitu ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran
Lebih terperinciIMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM
IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM Abstrak Pembuktian validitas argumen dengan menggunakan tabel kebenaran memerlukan baris dan kolom
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 terperinciKOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak
Komparasi Penggunaan Metode Truth Table Dan Proof By Falsification Untuk Penentuan Validitas Argumen (Yani Prihati) KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS
Lebih terperinci2.1. Definisi Logika Proposisi Logika proposisi Atomic proposition compound proposition
2. LOGIKA PROPOSISI 2.1. Definisi Logika Proposisi Logika proposisi adalah logika pernyataan majemuk yang disusun dari pernyataanpernyataan sederhana yang dihubungkan dengan penghubung Boolean (Boolean
Lebih terperinciBAB 1 : DASAR-DASAR LOGIKA
BAB 1 : DASAR-DASAR LOGIKA 1.1 PENGERTIAN UMUM LOGIKA Filsafat dan matematika adalah bidang pengetahuan rasional yang ada sejak dahulu. Jauh sebelum matematika berkembang seperti sekarang ini dan penerapannya
Lebih terperinciLOGIKA INFORMATIKA. Bahan Ajar
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
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 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 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 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 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 terperinciRepresentasi Boolean
Aljabar Boolean Boolean Variable dan Tabel Kebenaran Gerbang Logika Aritmatika Boolean Identitas Aljabar Boolean Sifat-sifat Aljabar Boolean Aturan Penyederhanaan Boolean Fungsi Eksklusif OR Teorema De
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 terperinciAlgoritma & Pemrograman 2C Halaman 1 dari 7 ALJABAR BOOLEAN
Algoritma & Pemrograman 2C Halaman 1 dari 7 ALJAAR OOLEAN Aljabar boolean merupakan aljabar yang berhubungan dengan variabel-variabel biner dan operasi-operasi logik. Variabel-variabel diperlihatkan dengan
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 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 terperinciDefinisi 2.1. : Sebuah pernyataan yang bernilai benar atau salah disebut dengan proposisi (proposition)
Bab II Kalkulus Proposisi Bab pertama ini menyampaikan sejumlah argumen logika. Semua argumen logika meliputi proposisi proposisi atomik (atomic proposition), yang tidak dapat dibagi lagi. Proposisi atomik
Lebih terperinciBlaise Pascal logika pernyataan atau proposisi logika penghubung atau predikat
Logika Matematika Dalam setiap kegiatan kita dituntut untuk mempunyai pola pikir yang tepat, akurat, rasional dan kritis agar tidak salah dalam penalaran yang menyebabkan kesalahan dalam mengambil kebijakan.
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 terperincikusnawi.s.kom, M.Eng version
Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.1.0.2009 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi -
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 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 terperinciPENGANTAR LOGIKA INFORMATIKA
P a g e 1 PENGANTAR LOGIKA INFORMATIKA 1. Pendahuluan a. Definisi logika Logika berasal dari bahasa Yunani logos. Logika adalah: ilmu untuk berpikir dan menalar dengan benar ilmu pengetahuan yang mempelajari
Lebih terperinciPENGENALAN LOGIKA MATEMATIKA
LOGIKA MATEMATIKA By Faradillah dillafarrahakim@gmail.com Sumber : Logika Matematika untuk Ilmu Komputer, F. Soesianto dan Djoni Dwijono, Penerbit Andi ofset PENGENALAN LOGIKA MATEMATIKA Pendahuluan Logika
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 terperinciPertemuan 5. Proposisi Lanjutan. Dosen Ir. Hasanuddin Sirait, MT STMIK Parna Raya Manado HP :
Pertemuan 5 Proposisi Lanjutan Dosen Ir. Hasanuddin Sirait, MT www.hsirait.wordpress.com STMIK Parna Raya Manado HP : 081356633766 KESETARAAN LOGIS Dua buah pernyataan yang berbeda dikatakan setara/equivalen
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 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 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 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. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1
LOGIKA Ratna Wardani Pendidikan Teknik Informatika 2 September 2007 Pertemuan-1-2 1 Materi Perkuliahan Logical Connectives Tabel Kebenaran 2 September 2007 Pertemuan-1-2 2 Arti Kalimat Arti kalimat = nilai
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 terperinciMata Kuliah Arsitektur Komputer Program Studi Sistem Informasi 2013/2014 STMIK Dumai -- Materi 08 --
Mata Kuliah Arsitektur Komputer Program Studi Sistem Informasi 23/24 STMIK Dumai -- Materi 8 -- Digital Principles and Applications, Leach-Malvino, McGraw-Hill Adhi Yuniarto L.Y. Boolean Algebra. Fasilkom
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 terperinciREPRESENTASI PENGETAHUAN. Pertemuan 6 Diema Hernyka Satyareni, M. Kom
REPRESENTASI PENGETAHUAN Pertemuan 6 Diema Hernyka Satyareni, M. Kom KOMPETENSI DASAR Mahasiswa dapat merepresentasi pengetahuan dalam Sistem Intelegensia MATERI BAHASAN Logika Jaringan Semantik Frame
Lebih terperinciTeknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK
Teknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK Fika Hastarita R - UTM 2012 Pengenalan Informal Penghubung Logis (Operator, Functor) Tabel Kebenaran dp Formula.
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 terperinci