استنتاج (Inférence/déduction)
در قیاسِ منطقی، حصول نتیجه را از مقدمات استنتاج گویند. استنتاج یکی از ارکان بُنیادی استدلال منطقی است. وقتی گفته میشود: «سقراط انسان است» و «هر انسان میرنده است»، نتیجهیی که از این دو قضیه (گزاره) استخراج میشود این است: پس، «سقراط میرنده است». بررسی یک استدلال منطقی بر بُنیاد درستیِ استخراجِ نتیجه استوار است.