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.