Mantık doğrusu, doğruluğu, gözlem ve deneyle değil, akıl aracılığı ile bilinen yargılardır. Mantıksal doğruluk önermelerin biçimiyle ilgilenir. Bazı durumlarda mantıksal doğruluk, kavramın kendi anlamından çıkar. “Hiçbir insan kedi değildir.” önermesinde, insanın kedi olup olmadığını anlamak için gözlem ve deney yapmaya gerek yoktur. “Hiçbir insan kedi değildir.” önermesi mantıksal bir doğruluktur. Matematiksel önermeler de deney ve gözlem olmaksızın bilinebilir. “Bir üçgenin iç açılarının toplamı 180’dir”matematik önermesi soyut ve bilincimizle kavranabilen bir önermedir.

Aşağıdaki örnekleri inceleyiniz:

Örnekler:
  • Öncül: Bütün insanlar çalışkandır.
  • Öncül: Ayşe insandır.
  • Sonuç: O hâlde Ayşe de çalışkandır.
Bu örnekte, yargılar bilgi doğrusuna örnek gösterilemez. Çünkü, bütün insanların çalışkan olduğunu kanıtlamamız olanaklı değildir. Ancak mantık doğrusuna uygundur. Çünkü, insanların hepsi çalışkansa, Ayşe de insansa, Ayşe’nin de çalışkan olması kaçınılmazdır. Bu durumda, “Ayşe çalışkandır” sonucu verilen öncüllerden zorunlu olarak çıkmaktadır.
  • Öncül: Bütün bilim dalları evrenseldir.
  • Öncül: Fizik bir bilim dalıdır.
  • Sonuç: O hâlde fizik evrenseldir.
Bu örnekte ise, ileri sürülen tüm yargılar bilgi doğrusuna uygundur. Nitekim, tüm bilimler evrensel bir niteliğe sahiptir. Aynı zamanda mantık doğrusuna da uygundur. Çünkü, “fizik evrenseldir” sonucu, verilen öncüllerden zorunlu olarak çıkmaktadır.

Yukarıdaki örneklerin birincisinde bilgi doğrusuna uyulmamış, ikincisinde uyulmuştur. Ancak her iki örnekte de mantık doğrusuna uygunluk söz konusudur. Bu durumda her iki akıl yürütme de mantıksal olarak geçerlidir.

Aşağıdaki örnek ise mantık doğrusuna uygun olmayan akıl yürütmeleri göstermektedir:
  • Öncül: Özge çalışırsa sınıfını geçer.
  • Öncül: Özge çalışmıyor.
  • Sonuç: O hâlde Özge sınıfını geçer.
Yukarıdaki örnekte ortaya çıkan sonuç, verilen öncüllerle çelişmektedir. Bu nedenle de varılan sonuç geçersizdir.

Mantıksal olarak doğru sonuçlara ulaşabilmek için akıl yürütme ilkelerine uymak gerekir. Akıl yürütme, birbiriyle ilişkili olan yargılardan bir sonuç çıkarma işlemidir.