القواعد الجلية في شرح الرسالة الشمسية — صفحة 383

تكون « 1 » شرطية ، وتكون المقدمة الأخرى استثناء لوضع ، حتى يلزم منه وضع أو رفع ، حتى يلزم منه رفع . مثل أن يقال : « 2 » إن كانت الشمس طالعة فالنهار موجود ، لكن الشمس طالعة ، ينتج : فالنهار موجود ، أو تقول : لكن النهار ليس بموجود ، فالشمس ليست طالعة « 3 » . قال : ويجب إيجاب الشرطية ولزومية المتصلة « 4 » وكليتها ، أو كلية الوضع والرفع « 5 » ، إن « 6 » لم يكن وقت الاتصال والانفصال « 7 » هو بعينه وقت الوضع والرفع « 8 » . أقول : يجب إيجاب الشرطية ، ليلزم من وضع أحد الجزءين وضع الآخر ومن رفع أحدهما رفع الآخر . ويجب كون المتصلة لزومية ، لأنّ المرجع في هذا القياس إلى الاستدلال بوجود الملزوم على وجود اللازم ، أو بعدم اللازم على عدم الملزوم . وهذا إنما يكون في اللزومية ، فانّ الاتفاقية يجب أن يكون وضعها أو رفعها معلوما ، فلا فائدة في القياس . ويجب كون المتصلة أو المنفصلة كلية ، أو كون الوضع أو الرفع كليا ، أو كون الوقت واحدا ، فإنه لو انتفت هذه الأمور جاز أن يكون وقت الوضع أو