الخامس : عكسه ، كقولنا : إن كان كلّما كانت الشمس طالعة فالنهار موجود ، فالشمس علّة لوجود النهار . السادس : من حملية ومنفصلة والحملية هي المقدّم ، كقولنا : إن كان هذا عددا فهو إما زوج وإما فرد . السابع : عكسه ، كقولنا : إن كان هذا إمّا زوج وإما فرد فهو عدد . الثامن : من متصلة ومنفصلة والمتصلة هي المقدّم ، كقولنا : إن كان كلما كانت الشمس طالعة فالنهار موجود ، فإمّا أن تكون « 1 » الشمس طالعة وإمّا أن لا يكون النهار موجودا . التاسع : عكسه ، كقولنا : إن كان إمّا أن تكون الشمس طالعة وإمّا أن لا يكون النهار موجودا ، فكلما كانت الشمس طالعة فالنهار موجود . أقسام المنفصلات : الأوّل : من حمليتين ، كقولنا : العدد إمّا زوج وإمّا فرد . الثاني : من متصلتين ، كقولنا : إمّا أن يكون إن كانت الشمس طالعة فالنهار موجود ، وإمّا أن يكون إن كانت الشمس غاربة فالليل موجود . الثالث : من منفصلتين ، كقولنا : إما أن يكون هذا العدد إما زوج وإما فرد ، وإمّا أن يكون هذا العدد إما زوج أو غير « 2 » منقسم بمتساويين . الرابع : من حملية ومتصلة ، كقولنا : إمّا أن لا تكون الشمس علّة لوجود النهار ، وإمّا أن يكون كلما كانت الشمس طالعة فالنهار موجود . الخامس : من حملية ومنفصلة ، كقولنا : إمّا أن لا يكون هذا عددا ، وإمّا ان يكون إمّا زوجا أو فردا . السادس : من متصلة ومنفصلة ، كقولنا : إمّا أن يكون إن كانت الشمس
القواعد الجلية في شرح الرسالة الشمسية — صفحة 288
مساهمون: العلامة الحلي
ص٢٨٨
هامش
( 1 ) في ( م ) : « فامّا أن لا تكون » .
( 2 ) لفظ « غير » لم يرد في ( ر ) .