Tümevarımsal çıkarım, veya kısaca tümevarım, öncüllerden sonucun kesin bir şekilde çıkmadığı durumlar için kullanılır. Örnek: “Basketbolcuların çoğu uzun boyludur; Melis de bir basketbolcudur; O hâlde, büyük olasılıkla Melis uzun boyludur.” Tümevarımlarda öncüllerin doğru olması sonucun doğru olmasını garanti etmez. Eğer öncüller doğruysa, bu yalnızca sonuç önermesinin doğru olma olasılığını yükseltir.