Dedüksiyon (tümdengelim), genel bir kuraldan yola çıkarak belirli bir sonuca ulaşmayı ifade eden akıl yürütme yöntemidir. Bu yöntemde, doğru kabul edilen önermelerden yola çıkılarak mantıksal bir çıkarım yapılır ve sonuç zorunlu olarak ortaya konur. Örneğin: 1. Öncül önerme: Tüm insanlar ölümlüdür. 2. Özel durum: Sokrates bir insandır. 3. Sonuç: O halde, Sokrates ölümlüdür. Dedüksiyon, matematiksel ve mantıksal kanıtlamalarda, bilimsel teorilerden deney sonuçları çıkarmada ve hukuki metinlerin yorumlanmasında sıkça kullanılır.