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