Bilgisayar bilimlerinin temelini oluşturan disiplin.
Aristo mantığı olarak da bilinen klasik mantık, ikili aritmetik kuralları ile günümüz bilgisayar teknolojisinin gelişmesini sağlamıştır.
Klasik mantıkta doğru ya da yanlış kavramları vardır. Bir önerme ya doğrudur ya da yanlıştır.
Klasik mantığın doğru ve yanlış değerlerinin arasında değerlerin kullanıldığı mantığa ise bulanık mantık denir. yapay zeka ve robotik uygulamalarda yaygın olarak kullanılır. Ayrıca bulanık mantıkta sadece doğru - yanlış ikilisi değil, daha fazla sayıda değer bulunabilir. Örneğin; soğuk, ılık, sıcak gibi üç değer tanımlayabiliriz.
Kuantum fiziğinde ise mantık kuralları klasik mantıktan çok farklı olabilir; bir önerme aynı anda hem doğru, hem de yanlış olabilir. Örneğin hiç duymadığım bir önerme hem doğrudur, hem de yanlıştır.