LoGiKa InFoRmAtIkA Asrul Sani, ST. M.Kom MT Asrul Sani, ST M.Kom MT - Logika Informatika

PENGANTAR KULIAH LOGIKA TUJUAN KULIAH A.Networking B.Programming C.Analizing Asrul Sani, ST M.Kom MT - Logika Informatika

Peer-to-Peer Client-Server

Asrul Sani, ST M.Kom MT - Logika Informatika

Logika merupakan studi penalaran (reasoning). Dalam Kamus Besar Bahasa Indonesia disebut- kan definisi penalaran, yaitu cara berpikir dengan mengembangkan sesuatu berdasarkan akal budi dan bukan dengan perasaan atau pengalaman. Pelajaran logika difokuskan pada hubungan antara pernyataan pernyataan (statements). Asrul Sani, ST M.Kom MT - Logika Informatika

CONTOH : Semua programmer bisa menggunakan komputer. Setiap orang yang menggunakan komputer adalah mahasiswa. Jadi, semua programmer adalah mahasiswa Meskipun logika tidak membantu menentukan apakah pernyataan-pernyataan tersebut benar atau salah, tetapi jika kedua pernyataan tersebut benar, maka penalaran dengan menggunakan logika membawa kita pada kesimpulan bahwa pernyataan Asrul Sani, ST M.Kom MT - Logika Informatika

Proposisi Proposisi adalah kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak dapat sekaligus keduanya. Kebenaran atau kesalahan dari sebuah kalimat disebut nilai kebenarannya (truth value). Asrul Sani, ST M.Kom MT - Logika Informatika

Pernyataan-pernyataan proposisi berikut ini, a.7 adalah bilangan genap. b.Soekarno adalah Presiden Indonesia yang pertama. c = 3. d.Indonesia pertama kali dijajah oleh Belanda. e.19 > 16. f.Bulan ini adalah musim kemarau. g.Suhu di permukaan laut adalah 21 derajat Celcius. h.Pemuda itu tingginya semampai. i.Besok akan turun salju di jakarta Asrul Sani, ST M.Kom MT - Logika Informatika

Pernyataan-pernyataan bukan proposisi berikut ini, A.Jam berapa pesawat pertama tiba di Cengkareng ? B.Ayo kerjakan tugas sekarang! C.Berapakah jumlah ? D.x + 8 = 16. E.x < 10. F.x + y = y + x untuk setiap x dan y bilangan riil Asrul Sani, ST M.Kom MT - Logika Informatika

Dari kedua contoh pernyataan pernyataan di atas, kita dapat menyimpulkan bahwa proposisi selalu dinyatakan sebagai KALIMAT BERITA, bukan sebagi KALIMAT TANYA maupun KALIMAT PERINTAH. Pernyataan D dan E bukan proposisi karena kedua pernyataan tersebut tidak dapat diten- tukan benar maupun salah sebab mereka mengan- dung peubah (variabel) yang tidak dispesifikasikan nilainya. Sedangkan untuk F adalah proposisi karena pernyataan tersebut merupakan cara lain untuk menyatakan hukum komutatif penjumlahan pada sistem bilangan riil. Dalam hal ini x dan y tidak perlu diberi suatu nilai sebab proposisi tersebut pasti benar untuk x dan y berapa saja

Secara simbolik, proposisi biasanya dilambangkan dengan huruf kecil seperti p, q, r, …. Misalnya : p : 6 adalah bilangan genap. q : Jakarta adalah ibukota Indonesia r : = 8 Asrul Sani, ST M.Kom MT - Logika Informatika

Kita dapat membentuk proposisi baru dengan cara mengkombinasikan satu atau lebih proposisi. Operator yang digunakan untuk mengkombinasikan proposisi disebut operator logika. Operator logika dasar yang digunakan adalah dan (and), atau (or), dan tidak (not). Operator ini dinamakan operator biner karena operator tersebut mengoperasikan dua buah proposisi, sedangkan operator ketiga dinamakan operator uner karena ia hanya membutuhkan satu buah proposisi. Asrul Sani, ST M.Kom MT - Logika Informatika

Konjungsi (conjunction) p dan q, dinyatakan dengan notasi p q, adalah proposisi p dan q Disjungsi (disjunction) p dan q, dinyatakan dengan notasi p V q, adalah proposisi p atau q Ingkaran atau (negation) dari p, dinyatakan dengan notasi ~p, adalah proposisi tidak p Asrul Sani, ST M.Kom MT - Logika Informatika

Diketahui proposisi-proposisi berikut: p : Hari ini hujan q : Murid-murid diliburkan dari sekolah maka p q : Hari ini hujan dan murid-murid diliburkan dari sekolah p V q : Hari ini hujan atau murid-murid diliburkan dari sekolah ~p : Tidak benar hari ini hujan (atau dalam kalimat lain yang lebih lazim: Hari ini tidak hujan) Asrul Sani, ST M.Kom MT - Logika Informatika

Diketahui proposisi-proposisi berikut: p : Hari ini hujan q : Hari ini dingin maka q V ~p : Hari ini dingin atau hari ini tidak hujan atau, dengan kata lain, “Hari ini dingin atau tidak hujan” ~p ~q : Hari ini tidak hujan dan hari ini tidak dingin atau, dengan kata lain, “Hari ini tidak hujan maupun dingin” ~(~p) : Tidak benar hari ini tidak hujan atau dengan kata lain, “Salah bahwa hari ini tidak hujan” Asrul Sani, ST M.Kom MT - Logika Informatika

Diketahui proposisi-proposisi berikut: p : Pemuda itu tinggi q : Pemuda itu tampan Nyatakan proposisi berikut (asumsikan “Pemuda itu pendek” berarti “Pemuda itu tidak tinggi”) ke dalam ekspresi logika (notasi simbolik): a.Pemuda itu tinggi dan tampan b.Pemuda itu tinggi tapi tidak tampan c.Pemuda itu tidak tinggi maupun tampan d.Tidak benar bahwa pemuda itu pendek atau tidak tampan e.Pemuda itu tinggi, atau pendek dan tampan f.Tidak benar bahwa pemuda itu pendek maupun tampan Asrul Sani, ST M.Kom MT - Logika Informatika

KONJUNGSI Latihan p : hari ini hari libur q : Fira pergi kuliah Tentukan: a.p  q b.~p  q c.p  ~q d.~p  ~q Asrul Sani, ST M.Kom MT - Logika Informatika

NEGASI ATAU INGKARAN Tentukan negasi dari pernyataan berikut ini! 1.Hari ini libur 2.Tidak benar amin adalah mahasiswa = adalah bilangan genap 5.Bedu bukan mahasiswa STMIK Asrul Sani, ST M.Kom MT - Logika Informatika

TUGAS… 1.Misalkan p adalah “Iwan bisa coding java”, dan q adalah “Iwan bisa coding android”, dan r adalah “Iwan bisa coding C++. Terjemahkan kalimat majemuk berikut kedalam notasi simbolik : a.Iwan bisa coding java atau android b.Iwan bisa coding android tetapi tidak coding C++ c.Iwan bisa coding java atau android, atau dia tidak bisa coding C++ atau android d.Tidak benar bahwa Iwan bisa coding java atau C++ e. Tidak benar bahwa Iwan bisa coding java atau C++ tetapi tidak coding android f. Tidak benar bahwa Iwan tidak bisa coding java, android maupun C++ Asrul Sani, ST M.Kom MT - Logika Informatika

TUGAS… 2.Misalkan p adalah “Hari ini adalah Hari Kamis”, q adalah “Hujan turun”, dan r adalah “Hari ini panas”. Terjemahkan notasi simbolik ini dengan kata – kata : a.p v q b.~p ˄ (q v r) c.~(p v q) ˄ r d.(p ˄ q) ˄ ~(r v p) e.(p ˄ (q ˄ r)) ˄ (r v (q v p)) f.~q ˄ ~p Asrul Sani, ST M.Kom MT - Logika Informatika

3. P : Hari ini hari Minggu Q : Hari ini libur: Tentukan: 1. ~ P 5. P  ~ Q 2. ~Q 6. ~P  ~ Q 3. P  Q 7. P  Q 4. ~ P  Q 8. ~ P  ~ Q TUGAS… Asrul Sani, ST M.Kom MT - Logika Informatika

Thank You