Logika disebut trhe calculus of computer sciences karena logika memegang peran yang sangat penting dibidang ilmu komputer. Peran kalkulus sama pentingnya untuk ilmu-ilmu bidang sains, misalnya ilmu fisika, ilmu elektronika, ilmu kimia dan sebagainya. Logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan dan lain-lainnya yang mempergunakan logika secara intensif.