«عالم متغیر ہے، ہر متغیر حادث ہے، لہٰذا عالم حادث ہے» کی صورتِ استدلال کو سمجھنا اور اس کے مقدمات کا ثبوت پیش کرنا الگ کام ہیں۔
اگر دونوں مقدمے اپنے بیان کردہ معنی میں سچے ہوں تو مذکورہ ترتیب نتیجے کو لازم کرتی ہے۔ لیکن صرف اس بات سے کہ نتیجہ مقدمات سے نکلتا ہے، یہ ثابت نہیں ہو جاتا کہ دونوں مقدمے حقیقت میں درست بھی ہیں۔
مثال: ہر پرندہ پتھر ہے؛ کبوتر پرندہ ہے؛ لہٰذا کبوتر پتھر ہے۔ اس میں اخذِ نتیجہ کی ساخت برقرار ہے، مگر پہلا مقدمہ غلط ہے، اس لیے یہ حقیقی علم فراہم نہیں کرتا۔
منطق میں نتیجے کا مقدمات سے لازم آنا اور مقدمات کا خارج میں درست ہونا دونوں کا الگ لحاظ ضروری ہے۔