Pengertian Logika Dalam Ilmu Komputer

Pengertian Logika dalam ilmu komputer adalah sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan syaraf tiruan, dan lain-lainnya yang mempergunakan logika secara intensif. Salah satu contoh yang populer adlah sistem digital, yaitu bidang ilmu yang didasari oleh logika untuk membuat gerbang logika (logic gates) dan arsitektur komputer sebagai inti mikroprosesor, otak komputer atau  central processing unit.

Pengertian Logika Simbolis adalah ilmu tentang penyimpulan yang sah (absah) yang dikembangkan menggunakan metode matematika dan bantuan simbol-simbol khusus sehingga memungkinkan seseorang menghindari makna ganda dari bahasa sehari-hari.