پہلی شرط سے 8 ضربیں خارج

الشکل الأول — شرائطِ انتاج اور چار منتج ضربیں

جب صغریٰ کی چار ممکنہ صورتوں میں سے دونوں سالبہ صورتیں خارج کر دی جائیں تو صرف دو باقی رہتی ہیں:
صغریٰ موجبہ کلیہ
صغریٰ موجبہ جزئیہ

ہر خارج شدہ سالبہ صغریٰ کے ساتھ کبریٰ کی 4 صورتیں ممکن تھیں، اس لیے 2 × 4 = 8 غیر منتج صورتیں پہلی شرط ہی کی بنا پر خارج ہو گئیں۔

اب باقی 8 ممکنہ ضربوں میں صغریٰ موجبہ ہے، لیکن کبریٰ ہر جگہ کلیہ نہیں۔ دوسری شرط ان میں مزید کمی کرے گی۔