Mantık, doğru düşünme sanatı ve bilimi olarak tanımlanır. Doğru ile yanlış arasındaki ayrımı yapma ve bilginin yapısını inceleyen bir disiplindir. Başlangıçta bir felsefe dalı olarak ortaya çıkmış, daha sonra matematik ve bilgisayar bilimi gibi alanlarda da kullanılan bağımsız bir bilim dalı haline gelmiştir.
Önerme, mantığın temel kavramlarından biridir ve doğruluğu veya yanlışlığı kesin olarak belirlenebilen ifadelerdir. Örneğin, “3’ün karesi 9’dur” cümlesi bir önermedir çünkü doğruluğu kanıtlanabilir. Mantık, önermelerin doğruluk değerlerini ve bu önermeler arasındaki ilişkileri inceleyerek, akıl yürütme süreçlerimizi düzenler ve standartlaştırır.
Mantık aynı zamanda argümanların yapılarını, matematiksel mantıkta kullanılan semboller ve mantıksal işlemleri de içerir. Örneğin, “ve”, “veya”, “ise” gibi bağlaçlarla oluşturulan bileşik önermeler veya koşullu önermeler mantığın çalışma alanına girer. Mantık, düşüncelerimizin tutarlılığını ve kendi kendisiyle çelişmeme durumunu sağlamak için de kullanılır.
