-قد يجتمع صدق الحقيقية و الخارجية كما في قولنا كل إنسان حيوان، فظهر بهذا أن بين الموجبتين الكليتين إذا كانت إحداهما حقيقية و الأخرى خارجية عموما و خصوصا من وجه (و، م، 173، 4) - تصدق الحقيقية و الخارجية معا حيث يكون الموضوع موجودا و الحكم صادق على جميع أفراده الموجودة و المقدّرة كقولنا كل إنسان حيوان (و، م، 173، 30) - الحقيقية في هاتين الجزئيتين أعمّ مطلقا من الخارجية لأنه متى صدق الحكم على بعض الإفراد الخارجة صدق على بعض الأفراد المقدّرة من غير عكس (و، م، 174، 14) - إن كانتا (القضيتان) سالبتين كلّيتين فالخارجية أعم مطلقا من الحقيقية (و، م، 174، 24)

حكم

-الحكم فهو أي جزء كان من المقابلة (أ، ب، 314، 16) - ما كان تركيبه تركيب إخبار فإن أصحاب المنطق يسمّونه القول الجازم و يسمّونه القضية و يسمّونه الحكم، و ذلك مثل قولنا زيد يمشي الإنسان حيوان (ف، د، 72، 15) - أن الشي ء الذي بارتفاعه يرتفع الحكم عن الأمر ليس يلزم إذا وجد في شي ء ما أن يوجد الحكم (ف، ق، 43، 19) - صحة الحكم على أمر ما من التي شابه بها الغائب الشاهد قد تعلم في كثير من الأشياء بأنفسها لا بقياس و لا بفكر و لا تأمل أصلا على مثال ما نعلم المقدمات الأول بأحد تلك الوجوه البيّنة (ف، ق، 47، 9) - متى فرض الحكم موجودا في كل ذلك الأمر أمكن بهذا الطريق وجود الحكم العام (ف، ق، 48، 6) - إذا ارتفع الحكم ارتفع الشي ء، أم لا، فإن الشي ء إذا كان يرتفع بارتفاع الحكم لزم ضرورة إذا وجد الشي ء أن يوجد الحكم (ف، ق، 50، 13) - إن ارتفاع الحكم ليس هو غير أن يسلب الحكم عن الأمر، و كذلك ارتفاع الشي ء (ف، ق، 50، 17) - الشي ء إذا كان يرتفع فيرتفع الحكم و يوجد فيوجد الحكم. يلزم عن الأول أن يكون الحكم إذا وجد وجد الشي ء، و يلزم عن الثاني أن الحكم إذا ارتفع رفع الشي ء (ف، ق، 51، 9) - يوجد الحكم بوجود الشي ء الذي يفرض علة حيث كان و في أي أمر كان (ف، ق، 52، 9) - متى ظنّ ظانّ بكلي ما أنه هو الذي أبدل مكانه أمر جزئي حكم عليه بحكم ما فتصفحنا ما تحت ذلك الكلي فوجدنا من جزئياته ما يمتنع فيه وجود ذلك الحكم، ايتلف صنف من ذلك هو قياس في الشكل الثالث و لزم عنه ما يبطل به عموم ذلك الحكم (ف، ق، 58، 15) - الذي علم حكمه مثال، لم لم يعلم حكمه، فينقل الحكم الذي حكم به عليه إلى الشبيه الآخر، و إنما يعلم أن الحكم الذي حكم به على أحدهما هو حكم عليه من جهة الذي به تشابها حتى يكون ذلك الأمر الذي صرّح بحكمه كأنه أبدل بدل الشي ء الذي به تشابها (ف، ق، 62، 3) - وجود الحكم المشاهد في المحسوس لجميع ما يوصف بالمعنى الذي به شابه فيه الأمر ذلك المثال المحسوس، فتحصل له مقدمة كلية و يضيف إليها وجود الأمر تحت موضوعها