Logika itu sangat penting di berbagai ilmu, salah satunya di bidang teknologi informasi, dikarenakan seorang programmer membuat sebuah software atau aplikasi, tentu saja di dalam otak programmer tersebut ada logika nya yang secara aktif mengurut kedalam algoritma.

Kata Logika berasal dari kata Yunani Logike dari kata Logos yang berarti ucapan atau makna. Pidato adalah hasil dari proses berpikir. Berpikir berarti menggunakan pikiran untuk mempertimbangkan dan memutuskan sesuatu. Kata makna berarti proses, cara, tindakan memberi makna. Jadi, logika adalah hasil pemikiran pemikiran yang diungkapkan melalui kata-kata dan diungkapkan melalui bahasa.

Logika adalah metode atau teknik yang diciptakan untuk meneliti ketepatan penalaran serta mengkaji prinsipprinsip penalaran yang benar dan penarikan kesimpulan yang absah. Ilmu logika berhubungan dengan kalimatkalimat (argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah memberikan aturan-aturan sehingga orang dapat menentukan apakah suatu kalimat bernilai benar. Kalimat yang dipelajari dalam logika bersifat umum, baik bahasa sehari-hari maupun bukti matematika yang didasarkan atas hipotesahipotesa. Oleh karena itu aturan-aturan yang berlaku di dalamnya haruslah bersifat umum dan tidak tergantung pada kalimat atau disiplin ilmu tertentu. Ilmu logika lebih mengarah dalam bentuk sintaks-sintaks daripada arti dari kalimat itu sendiri. Secara umum logika dibedakan menjadi dua yaitu Logika Pasti dan Logika Tidak Pasti. Logika pasti meliputi Logika Pernyataan (Propotitional Logic), Logika Predikat (Predicate Logic), Logika Hubungan (Relation Logic) dan Logika Himpunan. Sedangkan logika tidak pasti meliputi Logika Samar atau kabur (Fuzzy Logic). 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 Hubungan mempelajari hubungan antara pernyataan, relasi simetri, refleksif, antisimtris, dll. Logika himpunan membicarakan tentang unsur-unsur himpunan dan hukum-hukum yang berlaku di dalamnya.

Logika dengan demikian bersangkut paut dengan pengetahuan tentang kaidah berpikir  Kaidah berpikir artinya rumusan asas-asas yang menjadi hukum atau aturan yang tentu yang menjadi patokan dalam berpikir. Dengan kata lain logika adalah ajaran tentang berfikir tertib dan benar, atau perumusan lebih teliti, ilmu penarikan kesimpulan dan penalaran tanpa meninggalkan keabsahan. Logika tidak menelaah urutan berfikir sebagai gejala psikologi dan tidak pula mempersoalkan isi pemikiran, tetapi mempermasalahkan tata tertib yang harus menjadi panutan jalan pemikiran agar memperoleh hasil yang benar .