Mantık

Mantık, doğru düşünme ve akıl yürütme kurallarını inceleyen bir bilim dalıdır. Felsefe kökenli olup zamanla matematiksel bir temele oturmuştur.23

Önerme adı verilen doğru veya yanlış ifadeleri analiz eder. Basit ve bileşik önermeler, doğruluk tabloları gibi araçlarla mantıksal ilişkileri inceler.12

Matematik, bilgisayar bilimi ve felsefe gibi alanlarda temel oluşturur. Tümdengelim ve tümevarım gibi yöntemlerle bilimsel çıkarımları destekler.34