فذلك قلنا: إنه يلزم من صحة الصلاة التطهر، ومن انتفاء التطهر انتفاء الصلاة، ولم يلزم من نفي صحة الصلاة انتفاء التطهر؛ ولا من وجود التطهر وجود الصحة، لكون التطهر أعم من الصلاة. أما إذا كان أحدهما مساويًا للآخر، فيلزم الوجود بالوجود، والانتفاء بالانتفاء؛ لاستحالة تفارقهما، وهذا ظاهر. كقولنا: إن كان زنا المحصن موجودًا فالرجم واجب، ومعلوم أن الرجم واجب، فيكون الزنا موجودًا، ولكنه غير واجب، فلا يكون الزنا موجودًا، لكن الزنا غير موجود، فلا يكون الرجم واجبًا. وكذا كل معلول له علة واحدة١. الضرب الخامس: السبر والتقسيم٢: كقولنا: العالم إما حادث وإما قديم، لكنه حادث، فليس بقديم، أو لكنه قديم فليس بحادث، أو لكنه ليس بحادث، فهو قديم.

١ أي مساو لعلته، ويلزم من وجود أحدهما وجود الأخر. ومن أمثلة ذلك: إن كانت الشمس طالعة فالنهار موجود، لكنها طالعة فهو موجود، لكنها غير طالعة فهو غير موجود، ولكن النهار موجود فالشمس طالعة، ولكن النهار غير موجود فالشمس غير طالعة. ٢ علق الشيخ ابن بدران على ذلك بقوله: "مشى المصنف في هذا على اصطلاح المتكلمين، فإنهم يسمون هذا النوع بهذا الاسم، ويسميه المنطقيون بالشرطي المنفصل، وانفرد الغزالي بتسميته بالتعاند. "نزهة الخاطر جـ١ ص٧٣" وانظر: المستصفى "١/ ٤٢". والسبر في اللغة: الاختبار، ومنه: سبر الجرح: اختبر غوره، كما يسمى "الميل" الذي يختبر به الجرح في الطب "المسبار" والتقسيم: التجزئة. أما عند المتكلمين: فهو حصر أقسام الحكم للشيء الذي يراد إثبات الحكم له، ثم يختار منها المناسب له في المقدمة الثانية. =