حمل: دو مختلف مفہوموں کا وجود کے اعتبار سے ایک مصداق میں جمع ہونا۔
بالمواطأة: محمول موضوع پر براہِ راست صادق ہو۔
بالاشتقاق: تعلق واسطے کے ساتھ بیان ہو۔
خارجیہ، ذہنیہ، حقیقیہ: حکم کے محل یا لحاظ کے تین اعتبارات۔
معدولہ: موضوع یا محمول یا دونوں میں حرفِ سلب بطور جز شامل ہو۔
غیر معدولہ: موجبہ ہو تو محصلہ، سالبہ ہو تو بسیطہ۔
کسی نئے قضیے کا تجزیہ کرتے وقت ترتیب وار پوچھیں: حکم کس کے متعلق ہے؟ موضوع و محمول میں کیا نسبت ہے؟ کس اعتبار سے حکم کیا گیا ہے؟ اور نفی نسبت میں ہے یا لفظِ موضوع/محمول میں؟ یہ سوالات غلط درجہ بندی سے بچاتے ہیں۔