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