Çıkarım

Çıkarım, mantıkta, kabul edilebilir herhangi bir akıl yürütme biçimiyle verilen bilgi veya öncüllerden sonuç çıkarma. Çıkarımlar genellikle (1) geçerli argüman formlarını analiz ederek öncüllerinde örtük olan sonuçları ortaya çıkaran tümdengelim yoluyla, (2) birçok örnekten genel bir ifadeye ulaşan tümevarım yoluyla, (3) bilinen bir alan içindeki frekanslardan belirtilen olasılık sonuçlarına geçen olasılık yoluyla ve (4) ortalama olarak, bir dizi varlığın belirli bir yüzdesinin belirtilen koşulları karşılayacağı sonucuna varan istatistiksel akıl yürütme yoluyla yapılır. Ayrıca bakınız tümdengelim; implication.