STMIK Banjarbaru
1
PENGENALAN LOGIKA INFORMATIKA
9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
2
PENDAHULUAN Logika (logic) berasal dari kata bahasa Yunani “logos” yaitu ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid. Dahulu logika dipelajari sebagai salah satu cabang filosofi atau ilmu filsafat. Sejak th 1800 logika dipelajari dibidang matematika dan sekarang di bidang ilmu komputer.
9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
3
Logika disebut juga “the calculus of computer science” karena logika memegang peranan yang sangat penting di bidang ilmu komputer. Peran kalkulus (matematika) sama pentingnya untuk ilmu-ilmu bidang sains, misalnya ilmu fisika, ilmu elektronika, ilmu kimia, dan sebagainya. Logika, komputasi numerik, dan matematika diskrit memiliki peran penting dalam ilmu komputer karena semuanya berperan dalam pemrograman. Logika merupakan dasar-dasar matematis suatu perangkat lunak, digunakan untuk memformalkan semantik bahasa pemrograman dan spesifikasi program, serta menguji ketepatan suatu program. Hal ini menunjukkan betapa pentingnya logika matematika karena banyak ilmu, khususnya dalam bidang ilmu komputer, yang memerlukan logika untuk berkembang. 9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
4
Logika dalam ilmu komputer digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan syaraf tiruan, dan lain-lainnya yang mempergunakan logika secara intensif. Salah satu contoh yang populer adalah sistem digital, yaitu bidang ilmu yang didasari oleh logika untuk membuat gerbang logika (logic gates) dan arsitektur komputer sebagai inti mikroprosesor, otak komputer atau central processing unit. 9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
5
Logika matematika terus berkembang, mulai dari logika proposisional, logika predikat, pemrograman logika, dan sebagainya. Perkembangan terakhir ilmu logika adalah logika fuzzy, atau di Indonesia disebut logika kabur atau logika samar. Dari penjelasan diatas bisa disimpulkan mengenai peran penting logika dalam ilmu komputer. Jika seseorang ingin mempelajari ilmu komputer, maka ia tidak bisa terlepas dari masalah logika.
9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
6
ARGUMEN Studi Logika adalah suatu usaha untuk menentukan kondisi, dimana sesuatu diambil dari pernyataanpernyataan yang diberikan dan disebut premis-premis (premeses), untuk memperoleh suatu kesimpulan (conclusion) yang harus mengikuti atau sesuai dengan premis-premis tersebut. Argumen adalah suatu usaha untuk mencari kebenaran dari suatu pernyataan berupa kesimpulan dengan berdasarkan kebenaran dari suatu kumpulan pernyataan yang disebut dengan premis-premis. 9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
CONTOH ARGUMEN
1.
2.
Semua mahasiswa pandai Iwan adalah mahasiswa Dengan demikian , Iwan pandai Semua manusia bermata empat Anto seorang manusia Dengan demikian, Anto bermata empat
9/21/2012
H. Fitriyadi & F. Soesianto
7
STMIK Banjarbaru
8
Argumen pada contoh 1 di atas pasti diakatakan Logis karena pernyataan 1 dan 2 yang disebut premis-premis, diikuti oleh pernyataan berupa kesimpulan yang mengikuti dan berasal dari premis-premis. Sedangkan pada contoh 2 akan menimbulkan perdebatan, walaupun kesimpulannya dengan jelas tetap mengikuti premispremisnya. Perlu diingat, logika yang dibahas hanya yang berhubungan dengan kesimpulan yang valid dan diperoleh dari prinsip-prinsip penalaran yang valid.
9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
9
Jadi pada contoh 2 tetap dapat dikatakan valid karena kesimpulannya tetap mengikuti premis-premisnya dan validitasnya juga dapat dibuktikan dengan menggunakan aturan-aturan logika yang telah diterima keabsahannya. Aturan-aturan logika yang menggunakan kaidahkaidah matematika tersebut dipergunakan untuk membuktikan validitas suatu argumen sehingga disebut dengan Logika Matematika. Agar manipulasi secara matematis dapat dilakukan dengan baik, maka pernyataan-pernyataan tersebut harus diubah menjadi simbol-simbol tertentu atau berbentuk ekspresi logika. 9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
10
VALIDITAS ARGUMEN Validitas Argumen adalah premis-premis yang diikuti oleh suatu kesimpulan yang berasal dari premispremisnya dan bernilai benar. Jadi, validitas dapat dibedakan dengan kebenaran dan kesimpulan. Jika satu atau lebih premis-premis salah, maka kesimpulan dari argumen tersebut juga salah. Validitas juga dapat diartikan tidak mungkin kesimpulan yang salah diperoleh dari premis-premis yang benar .
9/21/2012
H. Fitriyadi & F. Soesianto
CONTOH VALIDITAS ARGUMEN 1.
STMIK Banjarbaru
11
Semua mamalia adalah hewan berkaki empat Semua manusia adalah mamalia Dengan demikian, Semua manusia adalah hewan berkaki empat Contoh diatas adalah argumen yang valid, tetapi dengan premis pertama yang bernilai salah. Argumen tersebut tetap dianggap valid karena kesimpulannya tetap mengikuti premis-premisnya.
9/21/2012
H. Fitriyadi & F. Soesianto
CONTOH VALIDITAS ARGUMEN 2.
STMIK Banjarbaru
12
Ada jenis makhluk hidup berkaki dua Semua manusia adalah makhluk hidup Dengan demikian, Semua manusia berkaki dua Contoh diatas adalah argumen valid dan juga menghasilkan kesimpulan yang benar karena mengikuti premis-premisnya.
9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
13
LOGIKA KLASIK Logika Klasik atau disebut juga dengan Logika Tradisional, pertama kali diperkenalkan oleh Aristoteles dari Yunani seorang murid dari Akademi Plato, logika yang dikenalkannya disebut dengan Logika Aristoteles. Aristoteles mengembangkan suatu aturan-aturan untuk penalaran silogistik (syllogistic) yang benar. Menurutnya suatu silogisme (syllogism) adalah suatu argumen yang terbentuk dari pernyataan-pernyataan yang salah : 1. Semua A adalah B 2. Tidak A adalah B 9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
14
Suatu silogisme yang berbentuk sempurna disebut Well-formed syllogis jika ia memiliki dua buah premis dan satu kesimpulan, dimana setiap premis memiliki satu pokok bersama dengan kesimpulan dan satu lagi pokok bersama dengan premis lainnya. Dalam logika klasik, aturan-aturan telah dirumuskan agar suatu Well-formed syllogis dapat dipastikan merupakan suatu bentuk argumen yang valid atau tidak valid
9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
15
LOGIKA MODERN Logika Modern atau Logika Simbolik dikembangkan dari Logika Aristoteles oleh Augustus De Morgan (1806 – 1971) dan George Boole (1815 – 1864), selanjutnya dikembangkan dan diperkaya oleh penemuan-penemuan dari Gottlob Frege (1848 – 1925), ahli matematika dari Jerman, Bertrand Russell (1872 – 1970), Alfred North Whitehead (1861 – 1947). Sistem logika yang dikembangkan oleh Bertrand dan Alfred, membahas argumen - argumen yang memungkinkan sesuatu dapat dimasukkan ke dalam bentuk yang lebih luas seperti : “and”, “or”, “if … then…”, “ … if and only if … “ dan sebagainya. 9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
16
Di dalam logika modern memiliki satu nilai saja dari dua nilai, yaitu benar (true) atau salah (false), nilai benar bisa digantikan dengan angka 1 sedangkan nilai salah diganti angka 0. Inilah yang disebut dengan Logika Dua Nilai (“two-valued-logic” atau “bivalent”), karena hanya mempunyai dua kemungkinan nilai, yakni benar atau salah. Logika Modern dijadikan dasar pembuatan Aljabar Boole (Boolean Algebra) yang dikembangkan oleh George Boole dan menjadi dasar teori tentang pengembangan komputer digital, terutama bidang pengembangan mikroprosesor (microprocessor) sebagai otak komputer digital. 9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
17
Logika matematika yang menangani masalah yang memiliki nilai benar atau salah adalah : 1. Logika Proposisional, fokus utama logika ini pernyataan-pernyataan yang dapat digolongkan dalam pengertian proposisi-proposisi. 2. Logika Predikat, pernyataan-pernyataan yang tidak dapat digolongkan sebagai proposisi dan tidak dapat diproses dengan logika proposisional, akan ditangani logika predikat yang memfokuskan diri pada predikat yang selalu menyertai suatu pernyataan dalam bentuk kalimat.
9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
18
CONTOH Logika Proposisional : Semua kuda adalah hewan Dengan demikian, Semua kepala kuda adalah kepala semua hewan Logika Predikat Semua gajah memiliki belalai Dumbo seekor gajah Dengan demikian, Dumbo memiliki belalai 9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
19
LOGIKA BANYAK NILAI Perkembangan logika pada saat ini telah mampu mengembangkan logika banyak nilai (many-valued logic) yang titik utamanya bukan hanya nilai benar dan salah, tetapi masih memiliki nilai ketiga yang bersifat netral. Di pihak lain, ada yang diekspresikan seperti pada nilai probabilitas atau kemungkinan yang memiliki nilai antar 0 dan 1, atau antara -1 dan +1. Logika ini diperkenalkan oleh Jan Lukasiewicsz, ahli matematika dari Polandia pada tahun 1920. Logika banyak nilai terus berkembang hingga menghasilkan logika fuzzy (fuzzy logic) 9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
20
Logika Fuzzy dikembangkan oleh Lotfi A. Zadeh, seorang ahli dari Iran yang bertempat tinggal di Amerika Serikat dan mengajar di California University, yang dikenal dengan nama “Himpunan Fuzzy (Fuzzy Sets)” dia memperkenalkan cara memanipulasi secara matematis, dikenalkan pada tahun 1973. Logika juga dipakai di bidang pengembangan perangkat lunak, seperti : 1. Kecerdasan buatan (artificial intellegence) 2. Sistem pakar (expert systems) 3. Pemrograman logika (logic pemrograman) 9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
21
Logika matematika menekankan pada logika antar pernyataan-pernyataan yang diubah dalam bentuk simbolsimbol dan disebut dengan bentuk logika atau ekspresi logika.
9/21/2012
H. Fitriyadi & F. Soesianto
STMIK Banjarbaru
Terimakasih 9/21/2012
H. Fitriyadi & F. Soesianto
22
