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