Logika (logic) berasal dari kata bahasa Yunani “logos”yaitu ilmu pengetahuan yang mempelajari atau berkaitandengan prinsip-prinsip dari penalaran argumen yang valid.dengan prinsip-prinsip dari penalaran argumen yang valid.Dahulu logika dipelajari sebagai salah satu cabangfilosofi atau ilmu filsafat. Sejak th 1800 logika dipelajaridibidang matematika dan sekarang di bidang ilmu
komputer.
Logika disebut juga “the calculus of computer science”karena logika memegang peranan yang sangat penting dibidang ilmu komputer. Peran kalkulus (matematika) samapentingnya untuk ilmu-ilmu bidang sains, misalnya ilmu fisika,ilmu elektronika, ilmu kimia, dan sebagainya.Logika, komputasi numerik, dan matematika diskrit memilikiperan penting dalam ilmu komputer karena semuanyaperan penting dalam ilmu komputer karena semuanyaberperan dalam pemrograman. Logika merupakan dasar-dasar matematis suatu perangkat lunak, digunakan untukmemformalkan semantik bahasa pemrograman dan spesifikasiprogram, serta menguji ketepatan suatu program. Hal ini
menunjukkan betapa pentingnya logika matematika karenabanyak ilmu, khususnya dalam bidang ilmu komputer, yangmemerlukan logika untuk berkembang.
Logika dalam ilmu komputer digunakan sebagai dasardalam belajar bahasa pemrograman, struktur data,kecerdasan buatan, teknik/sistem digital, basis data, teorikomputasi, rekayasa perangkat lunak, sistem pakar,jaringan syaraf tiruan, dan lain-lainnya yang mempergunakan logika secara intensif. Salah satu contohyang populer adalah sistem digital, yaitu bidang ilmuyang didasari oleh logika untuk membuat gerbang logika(logic gates) dan arsitektur komputer sebagai inti mikroprosesor, otak komputer atau central processing unit.
Logika matematika terus berkembang, mulai darilogika proposisional, logika predikat, pemrogramanlogika, dan sebagainya. Perkembangan terakhir ilmulogika adalah logika fuzzy, atau di Indonesia disebutlogika kabur atau logika samar.logika kabur atau logika samar.Dari penjelasan diatas bisa disimpulkan mengenaiperan penting logika dalam ilmu komputer. Jika seseorang ingin mempelajari ilmu komputer, maka iatidak bisa terlepas dari masalah logika.
