کتابی مثال: زید کاتب

حمل کی حقیقت، اقسامِ حملیہ اور قضیہ معدولہ

«زيد كاتب»
زید لکھنے والا ہے۔

موضوع: زید، یعنی متعین شخص۔
محمول: کاتب، یعنی لکھنے والا۔
نسبتِ حکمیہ: زید کے لیے کاتب ہونے کا اثبات۔

زید کے نام کو سمجھ لینا اور کاتب کا مفہوم سمجھ لینا ابھی حکم نہیں۔ جب کسی دلیل یا مشاہدے کی بنا پر زید ہی کو لکھنے والا قرار دیا جائے تو موضوع و محمول کو ایک مصداق میں جمع کیا گیا۔ اسی کو یہاں حمل کی صورت میں سمجھتے ہیں۔