وتشتمل هذه المقدمة الثانية على ذكر إحدى القضيتين المتقدمتين تسليمًا إما بالنفي أو بالإثبات حتى ينتج إحدى القضيتين أو نقيضها. مثال ذلك: إن كان الوتر يُؤَدِّي على الراحلة، فهو نافلة، ومعلوم أنه يؤدي على الراحلة، فهو نافلة. وهذا الضرب قسمان: - أحدهما: أن يكون اللازم أعم من الملزوم، فينتج على وجهين: أحدهما: أن يكون الاستثناء عين المقدم، كقولنا: إن كانت الصلاة صحيحة فالمصلي متطهر. وأخرى: أن يكون الاستثناء نقيض التالي كقولنا: لكنه غير متطهر فالصلاة غير صحيحة، ولا ينتج استثناء نقيض المقدم وعين التالي. - القسم الثاني: أن يكونا متساويين، فحينئذٍ ينتج على أربعة أوجه كقولنا: إن كانت الشمس طالعة فالنهار موجود، وذلك لأن المتساويين يلزم من إثبات كل واحد منهما إثبات الآخر، ومن نفي كل واحد منهما نفي الآخر، بخلاف الأعم والأخص، فإنه لا يلزم من نفي الأخص نفي الأعم ولا من إثبات الأخص، فلذلك يبطل من إنتاجها وجهان (١). - الضرب الثالث: الشرطي المنفصل. ويسميه المتكلمون السبر والتقسيم، ويسميه بعض الفقهاء نمط التعاند، وهو مركب من مقدمتين فأكثر يقترن بالأولى حرف منهما معاندة، بالثانية حرف استثناء أو معناه، ومثاله: قولنا: هذا العدد إما زوج وإما فرد، ولكنه زوج فليس بفرد، وإنتاجه على أربعة أوجه: مثال الأول: ما ذكرنا، ومثال الثاني: لكنه فرد فليس بزوج، ومثال الثالث: لكنه ليس بزوج فهو فرد، ومثال الرابع: لكنه ليس بفرد فهو زوج، وذلك أنهما قسمان متناقضان، فينتج إثبات كل واحد منهما نفي الآخر، ونفي كل واحد منهما إثبات الآخر، فتلك أربعة أوجه. _________ (١) انظر المستصفى ١/ ٤٠ - ٤٢، منتهى السول والأمل: ص ١٥.