Tanım:
Tümü (genel) için belirtilen bir önermeden, özel durumlar için geçerli olan önermelere geçilmesi şeklindeki akıl yürütme yöntemi. Tümdengelim (dedüktif ) yönteminin tersidir. Örneğin "bütün insanlar ölür" gibi genel bir önerme geçerli ise, tüm "İstanbul'lular ölür" veya tek bir kişiyi belirten "Attila İlhan'da ölür" önermesi doğru olacaktır.