ومثالهما في العقليات: الحيوان والأبيض [1] ، يوجد الحيوان بدون الأبيض في السودان، ويوجد الأبيض بدون الحيوان في الثلج واللبن، ويجتمعان في الحيوان الأبيض.

قوله: (فيستدل بوجود المساوي على وجود مساويه، وبعدمه على عدمه وبوجود الأخص على وجود الأعم، وبنفي الأعم على نفي [2] الأخص، وبوجود المباين على عدم [3] مباينته [4] ولا دلالة [5] في الأعم من وجه مطلقًا، ولا في عدم الأخص، ولا في [6] وجود الأعم)

ش: هذا هو المطلب الخامس وهو المراد بالأحكام المذكورة في الترجمة، فذكر المؤلف خمسة أنواع من الاستدلال:

أحدها: الاستدلال بوجود المساوي على وجود مساويه.

الثاني: الاستدلال بعدم المساوي على عدم مساويه.

الثالث: الاستدلال بوجود الأخص على وجود الأعم.

الرابع: الاستدلال بعدم الأعم على عدم الأخص.

الخامس: الاستدلال بوجود المباين على عدم مباينه.

(1) المثبت من ط وز، وفي الأصل:"الأبيض".

(2) في ط:"وجود".

(3) في أوش:"على عدم وجود مباينه".

(4) في أوخ وش وز:"مباينه".

(5) في ز:"ولا دليل".

(6) "في"ساقطة من أوش.