الثالث : من سالبة كلية وموجبة كلية ، ينتج سالبة كلية مثاله :
لا شئ من الممكن بدائم وكل محل للحوادث ممكن / لا شئ من الدائم بمحل للحوادث ويبرهن عليه أيضا بالرد بتبديل المقدمتين ثم بعكس النتيجة .
الرابع : من موجبة كلية وسالبة كلية ، ينتج سالبة جزئية مثاله :
كل سائل يتبخر ولا شئ من الحديد بسائل / بعض ما يتبخر ليس بحديد ولا يمكن البرهان عليه بالرد بتبديل المقدمتين ، لأن الشكل الأول لا ينتج من صغرى سالبة . ولكن يبرهن بعكس المقدمتين وتأليف قياس الشكل الأول من العكسين ، لينتج المطلوب ، فيقال :
المفروض كل م ب ولا ح‌ م المدعى س ب ح‌ البرهان :
نعكس المقدمتين إلى :
ع ب م لا م ح‌ ( رابع الأول ) / س ب ح‌ ( وهو المطلوب ) [1] الخامس : من موجبة جزئية وسالبة كلية ، ينتج سالبة جزئية مثاله :
بعض السائل يتبخر لا شئ من الحديد بسائل / بعض ما يتبخر ليس بحديد

[1] ولا ينتج كليا ، لجواز عدم وجود التباين الكلي بين الأصغر والأكبر ، كما في كل إنسان حيوان ، ولا شئ من الفرس بإنسان .

269