(على تقدير صدق أخرى وهي: الشمس طالعة المجعولة مقدّماً، وتسمية المقدم والتالي قضيتين باعتبار ما كان قبل التعليق بأداة الشرط).
حينئذٍ إن كانت الشمس طالعة فالنهار موجود، طبِّق الحد: يُحكَم فيها بصدق قضية على تقدير صدق قضية أخرى.
عندنا قضيتان: بصِدق قضية التي هي: النهار موجود، على تقدير وفرض صدق قضية أخرى التي هي إن كانت الشمس طالعة.
إذاً: صدق قضية التي هي التالي، على تقدير صدق قضية أخرى التي هي المقدَّم.
(فالأولى موجَبة) (كَقَوْلِنَا إِنْ كَانَتِ الشَّمْسُ طَالِعَةً فَالنَّهَارُ مَوْجُودٌ).
(والثانية) المشار إليه وهو: (أو لا صدقها).
(والثانية سالبة) (أي: التي حُكم فيها بلا صدق قضية على تقدير صدقٍ أخرى) يعني: كاذبة.
(والثانية سالبةٌ كقولنا: ليس إن كانت الشمس طالعةً فالليل موجود).
إن كانت الشمس طالعةً فالنهار موجود. المثال السابق هي مثبتة، كيف تنفيها؟ أدخل عليها ليس، سواءً وافقت اللغة أم لا، هذا المراد عندهم، لذلك يقع التسامح عندهم في هذه المسألة.
قال: (ليس إن كانت الشمس طالعة فالليل موجود.
قد حُكم فيها بلا صدق قضية وهي الليل موجود، التالي على تقدير صدق أخرى، وهي: إن كانت الشمس طالعة) المقدَّم.
(وقدّم حرف السلب لتكون سالبة؛ إذ لو أخَّره إلى التالي) نحو: إن كانت الشمس طالعة فليس الليل موجوداً هذه موجَبة.
يعني: إذا أدخل السلب على التالي هذه موجبة؛ لأن العبرة بالجملة كلها.
(لكانت موجبة؛ إذ السالبة ما حكم فيها بسلب اللزوم لا بلزوم السلب) فرقٌ بينهما.
يعني: بما حُكم فيها بسلب اللزوم، وهو أن يتقدم السلب على الجملة كلها "على المقدَّم" على المقدَّم يكون المراد جميع الجملة المقدَّم والتالي.
وأما لزوم السلب هذا يدخل حرف السلب على التالي.
قال هنا: (حُكم فيها بلا صدق قضيةٍ وهي الليل موجود) التي هي التالي.
(على تقدير صدق أخرى، وهي: إن كانت الشمس طالعة).
ليس إن كانت الشمس طالعة يعني: إذا لم تكن الشمس طالعة فالليل موجود، هذا بناءً على أنه لا واسطة بين الفجر والنهار، والغروب والليل.
قال: (وسُمّيت شرطية؛ لوجود حرف الشرط فيها).
قال هنا: (بُحث فيه بأن أداة الشرط قد تكون اسماً، كمهما، ومتى.
وأُجيب: بأنه نُظِر لما في المثال) هو نظر لما في المثال السابق.
(وبأن أداة الشرط) جواب آخر بالتسليم (وإن كانت اسماً صورة فهي حرفٌ معنى؛ لتضمُّنِها الشرط الذي هو من معاني الحرف، ونظرُ المنْطِقي إنما هو للمعنى) وقد يقال بأنه اصطلاح المناطقة.
ما دل على السلب فهو حرفٌ، وهو اسمٌ عند أهل اللغة، أما عندهم فهو حرف فهو اصطلاحٌ خاص.
وبعضهم يسميه أداة.
(لوجود حرف الشرط فيها) يعني: في القضية، هذا لكونها شرطية.
(ومتصلة لاتصال طرفيها) يعني: مقدمها وتاليها.
(صدقاً ومعيّة) صدقاً يعني: (في الثبوت إذ يلزم من ثبوت الملزوم ثبوت لازمه).
إن كانت الشمس طالعة لا يتخلف النهار، إن انتفى طلوع الشمس انتفى طلوع النهار. وهو كذلك.
قال: (أي: في الثبوت؛ إذ يلزم من ثبوت الملزوم ثبوت لازمه).
قوله: (معيّة أي: اصطحاباً واقتراناً، فمتى وُجد مقدَّمُها وجد تاليها معه فاتصلا في المصاحبة والوجود).
يعني: لا يتأخر عنه وهو كذلك.