1. Varılan sonucun zorunlu ve kesin olarak geçerli olduğu (kesin sonuca vardıran) mantıksal işlem. Bu çıkarım biçiminde öncüller doğru ise sonuç önermesi de zorunlu olarak doğrudur.
2. Tümel olandan tikelin, genel olandan özelin çıkarılması. Tümel bir önerme aracılığı ile somut bir olayın bilgisine ulaşma. Tümdengelimin mantıksal biçimi: tasım (syllogismus) ve tasıma dayanan kanıttır. Karşıtı bk. tümevarım.
3. -> Tümdengelimli yöntemle eşanlamlı.
4. Tümdengelimli yolla birbirine bağlı önermeler topluluğu. Deneyüstü tümdengelim (transsendental deduktion): Kant'ın kullandığı deyim. Önsel kavramların duyu dünyasındaki nesnelere nasıl uygulanabileceğini nesnelerle nasıl ilişkisi olabileceğini açıklama biçimi.
TDK Felsefe Terimleri Sözlüğü