- من أراد أن لا يضلّ في معرفة أنّ الحكم أوّلي فيجب إذا كان الحكم مقارنا لمعان مختلفة أن يمتحن أوّلية الحكم بأن يرفع جملة المعاني إلّا واحدا منها و يبدّل ذلك الواحد دائما. فأما إذا ثبت و بطلت البواقي ثبت الحكم؛ و إن ارتفع و إن بقيت البواقي- إن أمكن ذلك- ارتفع الحكم، فالحكم له أوّلا. مثال هذا: مثلث متساوي الساقين من نحاس، و هو أيضا شكل.

فإذا رفعت تساوى الساقين و كونه من نحاس و أثبت المثلث، وجدت كون ثلاث زوايا منه مساويا لقائمتين ثابتا. و لو أمكن أن يرتفع معنى الشكل و يبقى المثلث، كان الحكم ثابتا؛ و لكن إنّما لا يبقى لأنّ المثلث لا يبقى، ثم إذا رفعت المثلث و بقي الشكل لم يبق هذا الحكم. فمن جانب تساوي الساقين و كونه من نحاس، تجد الحكم ثابتا مع رفع الأمرين و إثبات المثلث.

و من جانب الشكل تجد الحكم مرتفعا مع وضع الأمرين و رفع المثلث، فيجتمع من الامتحانين أن الحكم كلّي للمثلث لا غير (س، ب، ٩٤، ١)

حكم بالانفصال‌

- قوله ليس البتّة إذا كان كذا كان كذا هو الحكم بالانفصال و العناد (ب، م، ٧٨، ٧)

حكم بايجاب كلي‌

- الحكم بالإيجاب الكليّ على الموضوع الكلّي قولك في الحمليّات: كل إنسان حيوان، فقد أوجبت الحيوانيّة على كل واحد مما يوصف بأنّه إنسان (س، ع، ٤٥، ١٣)

حكم بسلب كلي‌

- (الحكم) بالسلب الكليّ على الموضوع الكليّ قولك: ليس و لا واحد من الناس بحجر (س، ع، ٤٦، ٣)

حكم بسيط

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

حكم بطرف راجح‌

- الحكم بالطرف الراجح: إمّا أن يقارنه الحكم بامتناع المرجوح. أو لا يقارنه: بل يقارن تجويزه. و الأول: هو (الحكم) الجازم.

و الثاني: هو (الحكم) المظنون الصرف (ط، ش، ١٧١، ١١)

حكم بالعناد

- الحكم بالعناد في المنفصلة يسمّى إيجابا (ب، م، ٧٣، ١٥)

حكم جازم‌

- الحكم بالطرف الراجح: إمّا أن يقارنه الحكم بامتناع المرجوح. أو لا يقارنه: بل يقارن‌