ومثالهما في العقليات: الحيوان والأبيض (?)، يوجد الحيوان بدون الأبيض في السودان، ويوجد الأبيض بدون الحيوان في الثلج واللبن، ويجتمعان في الحيوان الأبيض.

قوله: (فيستدل بوجود المساوي على وجود مساويه، وبعدمه على عدمه وبوجود الأخص على وجود الأعم، وبنفي الأعم على نفي (?) الأخص، وبوجود المباين على عدم (?) مباينته (?) ولا دلالة (?) في الأعم من وجه مطلقًا، ولا في عدم الأخص، ولا في (?) وجود الأعم)

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

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

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

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

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

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