Genelden özeli çıkarsayan akıl yürütme biçimi, tümdengelimdir. Bu tür akıl yürütme yeni bir bilgi vermez, sadece öncülleri açık hale getirir ve tikel hakkında bilgi verir. Genel bir yasa ya da yargıdan yola çıktığı için tümdengelim denilir. Biri yasa ya da yargı olmak üzere en az iki öncül ve bu öncüllerden çıkarılması gereken bir sonuçtan oluşur. Soruda verilen “O halde, Oya zekidir” çıkarımı solakların zeki olduğunu ve Oya’nın solak olduğunu belirten öncüllere dayalı olarak yapılan bir çıkarımdır. Bu örnek tümdengelim (dedüktif) akıl yürütmeye örnek olarak verilebilir.