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, reason. Dahulu logika sebagai cabang dari ilmu filsafat. Tahun 1800 an, logika mulai dipelajari di bidang matematika. Sekarang, logika juga dipelajari di bidang ilmu komputer logika mempengaruhi ilmu komputer baik software maupun hardware.
Definisi Logika Logika adalah ilmu pengetahuan yang mempelajari/berkaitan dengan prinsipprinsip dari penalaran argumen yang valid. Logika adalah studi tentang kriteriakriteria untuk mengevaluasi argumenargumen dengan menentukan mana argumen yang valid, dan membedakan antara argumen yang baik dengan yang tidak baik.
Sejarah Logika (1) Logika lahir bersama-sama dengan lahirnya filsafat di Yunani. Logika pertama kali dikemukakan oleh Aristoteles, pada abad 4 SM. Ia merumuskan logika dengan cara menuliskan argumen/pendapat yang akan bisa dibuktikan kebenarannya. Banyak pemikir yang menemukan konsep-konsep lain tentang logika tetapi masih berkisar pada pemikiran Aristoteles
Sejarah Logika (2) Pada paruh terakhir abad 19 dengan tokoh-tokoh baru dengan pemikiranpemikiran baru yaitu:
Istilah Lain dari Logika Logika Simbol (Symbolic Logic) karena mempelajari usaha-usaha menyimbolisasikan logika secara formal. Logika Formal (Formal Logic) : Logika sebagai sistem formal yang menjelaskan peranan sekumpulan rumus-rumus ataupun sekumpulan aturan untuk derivasi.
Argumen Argumen : suatu usaha untuk mencari kebenaran dari suatu pernyataan berupa kesimpulan dengan berdasarkan pada kebenaran dari satu kumpulan pernyataan yang disebut premis-premis. Bentuk Argumen : sekumpulan pernyataan yang terdiri dari premis-premis dan diikuti satu kesimpulan.
Contoh Argumen (1) Semua mahasiswa pandai Budi adalah mahasiswa Dengan demikian, Budi pandai. Premis Kesimpulan Argumen di atas dikatakan Logis, karena pernyataan 1 dan 2 Premis, diikuti oleh satu pernyataan berupa kesimpulan yang pasti mengikuti dan berasal dari premispremisnya.
Contoh Argumen (2) Semua manusia berkaki empat Budi seorang manusia Dengan demikian, Budi berkaki empat. Contoh argumen ini akan menimbulkan perdebatan meskipun secara teori, kesimpulan tetap mengikuti premispremisnya.
Logika Informatika Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam informatika yang dipergunakan untuk membuktikan validitas suatu argumen. Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam matematika yang dipergunakan untuk membuktikan validitas suatu argumen dalam bidang informatika.
Validitas Argumen Validitas Argumen : premis-premis yang diikuti oleh suatu kesimpulan yang berasal dari premis-premisnya dan bernilai benar. Validitas yang logis adalah hubungan antara premis-premis dengan kesimpulan yang memastikan bahwa premis-premis benar, maka harus diikuti dengan kesimpulan yang benar juga, yang diperoleh dengan menggunakan aturan-aturan logika. Kesimpulan juga harus berasal dari premis-premisnya.
Contoh Validitas Argumen (1) Semua mamalia adalah hewan berkaki empat. Semua manusia adalah mamalia. Dengan demikian, semua manusia adalah binatang berkaki empat. Valid, tetapi premis pertama salah. Mengapa argumen di atas valid?? Tautology Valid kebenarannya secara fungsional
Contoh Validitas Argumen (2) Semua makhluk hidup berkaki dua Manusia adalah makhluk hidup Dengan demikian,semua manusia berkaki dua. Tidak valid, tetapi menghasilkan kesimpulan yang benar meskipun tidak mengikuti premisnya.
Kesimpulan Logika hanya mempermasalahkan bentuk argumen, bukan isi argumen. Argumen Logis dikatakan kuat secara logis, jika dan hanya jika memenuhi syarat : a. argumennya valid b. semua premis-premisnya bernilai benar.
LOGIKA KLASIK / LOGIKA TRADISIONAL
Silogisme Menurut Aristoteles, silogisme adalah suatu argumen yang terbentuk dari pernyataan-pernyataan dengan salahsatu atau keempat bentuk berikut : Huruf A dan B diatas menggantikan suatu kata benda, misalnya manusia, cuaca, dan sebagainya yang disebut terms of syllogism atau pokok dari silogisme.
Silogisme Sempurna Suatu silogisme yang berbentuk sempurna (well-formed syllogism) adalah silogisme yang memiliki dua buah premis dan satu kesimpulan, dimana setiap premis memiliki satu pokok (term) bersama dengan kesimpulan dan satu lagi pokok bersama dengan premis lainnya. Contoh sebuah silogisme sempurna: Premis : Semua A adalah B. Premis : Semua B adalah C. Konklusi : Semua A adalah C. Pada premis pertama, A sama dengan A pada kesimpulan, dan ia juga memiliki B yang sama dengan B pada premis kedua.
LOGIKA MODERN / LOGIKA SIMBOLIK
Sejarah Logika Modern Perkembangan dari logika Aristoteles. Para pakar yang mengembangkan logika modern : a. Augustus De Morgan (1806-1871) dan George Boole (1815-1864). b. Gottlob Frege (1848-1925) c. Bertrand Russell (1872-1970) dan Alfred North Whitehead (1861-1947) Logika yang dikembangan Bertrand Russell dan Alfred North Whitehead mengenalkan simbol-simbol untuk kalimat yang lengkap dan perangkai (connectives), misalnya : and, or, if then, if and only if,,,, dsb. Logika Modern menjadi dasar pembuatan Aljabar Boolean (Boolean Algebra) yang dikembangkan oleh George Boole dan menjadi dasar teori pengembangan komputer digital, terutama mikroprosessor.
Manfaat Logika Informatika(1) Logika informatika digunakan dalam semua bidang pada ilmu informatika. Dari pembuatan konsep, penulisan software hingga cara kerja hardware. Beberapa manfaat logika informatika: 1. Membuat program Contoh, struktur IF-THEN...ELSE dalam bahasa Pascal IF kondisi THEN Statemen1 ELSE Statemen2;
Manfaat Logika Informatika(2) 2. Database Contoh, mencari daftar mahasiswa STIKOM angkatan 2008 yang memiliki nilai IPK 4. 3. Cara kerja komputer (mesin) Level logika pada komputer. Masing-masing level komputer menggunakan level logika yang berbeda (dari logika elektronik 0 dan 1 hingga logika manusia dalam bahasa pemrograman tingkat tinggi) tetapi semua bekerja berdasar prinsip-prinsip logika.
Penerapan Logika Informatika(1) Search engine google menggunakan prinsip logika dalam pencariannya. a. Menggunakan operator AND (Dilambangkan dengan tanda +) Pencarian akan teknik+informatika di Google akan menghasilkan data yang terdiri dari teknik dan informatika.
Penerapan Logika Informatika(2) b. Menggunakan operator OR untuk Pencarian dengan ketentuan teknik OR informatika. Hasil pencarian akan menampilkan kata teknik saja atau informatika saja.
Penerapan Logika Informatika(3) c. Menggunakan operator NOT (dilambangkan dengan tanda - ) Pencarian dengan ketentuan teknik NOT informatika, dilambangkan dengan teknik informatika akan menghasilkan pencarian akan kata teknik saja, yang tidak mengandung kata informatika.