Tümdengelimli akıl yürütme, bir dizi öncülden bir sonucun türetildiği bir tür mantıksal akıl yürütmedir. Öncüllerin doğru olduğu varsayılır ve sonuç öncüllerden mantıksal olarak çıkar. Örneğin:
* Öncül 1 :Bütün insanlar ölümlüdür.
* Öncül 2 :Sokrates bir insandır.
* Sonuç :Sokrates ölümlüdür.
Bu örnekte öncüller tüm insanların ölümlü olduğu ve Sokrates'in de bir insan olduğu yönündedir. Öncüllerden mantıksal olarak Sokrates'in ölümlü olduğu sonucu çıkar.
Ancak tüm akıl yürütmeler tümdengelimsel değildir. Tümevarımsal akıl yürütme gibi bazı akıl yürütmeler kanıta veya gözlemlere dayanır. Tümevarımsal akıl yürütme, bir dizi gözlem veya kanıttan genel bir sonucun çıkarıldığı bir tür mantıksal akıl yürütmedir. Örneğin:
* Gözlem 1 :Güneş her gün doğudan doğar.
* Gözlem 2 :Güneş her gün doğudan doğar.
* Sonuç :Yarın güneş doğudan doğacak.
Bu örnekte gözlemler şu ana kadar güneşin her gün doğudan doğduğu yönündedir. Güneşin yarın doğudan doğacağı sonucu, gözlemlerin kanıtlarına dayanmaktadır.
Tümevarımsal akıl yürütme, tümdengelimli akıl yürütme kadar kesin değildir. Kanıt güçlü olsa bile, tümevarımsal bir argümanın sonucunun yanlış olma olasılığı her zaman vardır. Ancak tümevarımsal akıl yürütme sıklıkla kullanılır çünkü kesin olarak bilinemeyen bir şey hakkında sonuca ulaşmanın tek yolu budur.