Logika informatika adalah salah satu cabang ilmu dalam bidang pengetahuan matematika modern. Suatu alat untuk memecahkan masalah yang berhubungan dengan nilai kalimat,relasi antara beberapa kalimat dan penarikan kesimpulan dari beberapa hipotesa yang diketahui lebih dulu kebenarannya,juga penyederhanaan suatu rangkaian listrik maupun rangkaian logika,serta pemberian penilaian terhadap suatu ran…
Buku ini disusun terutama untuk membantu penyediaan buku teks pengantar logika dalam bahasa indonesia. saat ini masih jarang dijumpai buku logika dalam bahasa indonesia,khususnya untuk mahasiswa tingkat awal. untuk logika tingkat awal,yang didominasi logika sentensial,gramatika (tata bahasa) bahasa pengantar yang digunakan untuk pembahasan materi sama pentingnya dengan materi itu sendiri.
Pikiran manusia pada hakekatnya mencari dan berusaha untuk memperoleh kebenaran Karena itu pikiran tersebut juga merupakan suatu proses. Dalam proses tersebut haruslah diperhatikan kebenaran bentuk (formal) untuk dapat berfikir logis. kebenaran ini hanyalah menyatakan serta mengandaikan adanya jalan, cara, teknik serta hukum-hukum yang perlu diikuti.
Logika berasal dari kata yunani logos, yang berarti ucapan kata, pengertian, pikiran, ilmu. sejak zaman dulu logika atau ilmu penalaran diajarkan di sekolah-sekolah dan universitas-universitas sebagai pegangan dan bekal dalam usaha menggali ilmu serta meningkatkan kemandirian intelektual dan rohani seseorang.""
Logika membantu manusia berpikir lurus, efisien, tepat dan teratur untuk mendapatkan kebenaran dan menghindari kekeliruan. logika menyampaikan kepada berpikir benar, lepas dari pelbagai prasangka emosi dan keyakinan seseorang. karena itu ia mendidik manusia bersikap obyektif, tegas dan berani.