- المحمول الذي يتشابه به شيئان أو أكثر يسمّى المحمول الكلي، مثل الإنسان و الحيوان (ف، د، ٦٠، ١١)- إن المحمول الكلّي هو الذي متى وجد وجد بوجوده الموضوع، و متى ارتفع ارتفع بارتفاعه الموضوع (ز، ب، ٢٣٢، ١٤)- المحمول (الكلي) إنّما يكون كليّا في «كتاب البرهان» إذا كان، مع كونه مقولا على الكل في كل زمان، أوّليّا (س، ب، ٨٤، ٢٢) كل محمول كلّي يقال على ما تحته في جواب ما هو، فإمّا أن تكون حقائق ما تحته مختلفة ليس بالعدد فقط و إمّا أن تكون بالعدد مختلفة.

فأمّا ما يتقوّم به من الذاتيّات فغير مختلف أصلا و الأول: يسمّى جنسا لما تحته. و الثاني:

يسمّى نوعا (س، أ، ٢٣٣، ٨)- المحمول الكلّي هو ما يحمل بكليته على الموضوع، بل ما يحمل على كل واحد من الموضوع (سي، ب، ١٨٦، ٣)

محمول مخصوص‌

- محمول مخصوص، و هو الهو هو (س، ج، ٢٩٦، ١٢)

محمول المطلوب‌

- إن وجدنا محمول المطلوب في جميعها تبيّن أنه موجود في كل موضوعه، و إن تبيّن أنه مسلوب عن جميعها تبيّن أنه مسلوب عن كل موضوعه (ف، ق، ٩٦، ١١)- إن كان تبيّن (محمول المطلوب) أنّه موجود في جميع أنواعه جعلنا وجوده في أنواعه هو المقدّم، و وجوده في موضوعه هو التالي، ثمّ استثنينا المقدّم بعينه فينتج التالي بعينه، و إن شئنا وضعنا المحمول مسلوبا عن جميع الموضوع و جعلناه المقدّم و نجعل التالي سلبه عن جميع أنواع الموضوع، ثم نستثني مقابل التالي و هو أن نوجب المحمول لجميع أنواعه و هو الذي كان تبيّن، فينتج مقابل «المقدم» و هو إيجاب المحمول لجميع الموضوع (ف، ق، ٩٦، ١٤)- إن كان تبيّن (محمول المطلوب) أنه مسلوب عن جميع أنواعه جاز أن يجعل أيضا تأليفه على طريق الاستقراء (ف، ق، ٩٦، ١٩)- إن كان يتبيّن (محمول المطلوب) أنه موجود لبعض أنواعه ائتلف عنه في الشكل الثالث قياس ينتج وجود المحمول لبعض الموضوع، و كان الحد الأوسط هو النوع الموجود فيه المحمول فقط (ف، ق، ٩٧، ٢)- ننظر في محمول المطلوب إن كان جنسا هل هو محمول على موضوعه و هو مشتق، أم هو محمول عليه و هو مثال أول (ف، ق، ٩٨، ١)- إن كان (محمول المطلوب) محمولا عليه (على موضوعه) و هو مشتق فإنّا نقسّمه إلى أنواعه، ثم ننظر فإن كان شي‌ء من أنواعه موجودا في الموضوع باسمه المشتق لزم أن يكون محمول المطلوب موجودا في موضوعه، و ائتلف ذلك في الشكل الأول و كان الحدّ الأوسط هو نوع محمول المطلوب (ف، ق، ٩٨، ٢)- إذا كان وجوده (محمول المطلوب) في ذلك الشي‌ء أكثر و في موضوع الوضع أقل و كان‌