وهو قولنا . لا كل ب آ صادق ، وكان مسلما أن كل ب ج ينتج : « 1 » أن لا كل « 2 » ج آ ، وكان حقا إن كل ج آ « 3 » ، هذا خلف . إذ لا يمكن أن يكون كل ج آ ، وليس كل ج آ . فإذن قولنا : ليس كل ج آ ، كذب ، ولزم عن قياس .
فإحدى مقدمتيه كاذبة ، ولكن ليست المسلمة ، وهي أن كل ب ج . فهي إذن المشكوك فيها ، وهو أنه ليس كل ب آ ، فإذن كل ب آ . والمطلوبات الأربع كلها ، إلا الكلى الموجب ، يمكن أن تبين « 4 » من كل شكل بالخلف . وأما الكلى الموجب فيبين من الشكلين الآخرين فقط . لأنك إذا أردت أن تبين صدق قولنا : كل ب آ ؛ بكذب نقيضه ، وهو قولنا « 5 » ليس كل : ب آ ، قلت ، إن كان قولنا : كل ب آ كاذبا ؛ فنقيضه ، وهو قولنا : ليس كل ب آ صادق . وتحتاج أن تنتج من هذه المناقضة ، ومن مقدمة أخرى مسلمة نتيجة بينة « 6 » الاستحالة . وتلك المقدمة لا تشارك هذه في الشكل الأول . لأن هذه المناقضة لا يجوز أن تكون صغرى الأول ، لأنها سالبة ؛ ولا كبرى الأول ، لأنها جزئية . وأما أن أخذت الضد بدل النقيض ، أمكن أن تجعله كبرى ، ولكن إذا أنتج محالا ، لزم أنه كذب ، لم يلزم أن ضده صدق ، لأن الضدين قد يكذبان « 7 » معا في المواد الممكنة كما علم سالفا ، فلم ينفع في إنتاج المطلوب .
وأما السالبة الكلية فتتبين في الشكل الأول ، بأن يؤخذ نقيضها « 8 » وهو « 9 » الموجبة الجزئية ، ويضاف اليه كبرى ، فينتج محالا . ولا يمكن « 10 » أن تضاف إليه « 11 » الأخرى وهي الصغرى فتكون الكبرى جزئية . والسالبة « 12 » الكلية تبين « 13 » في الشكل الأول .
هامش
( 1 ) ينتج : فينتج عا ، ن
( 2 ) لا كل ( الثانية ) : لا د ، ن .
( 3 ) إن كل ج آ : إن ج آ د ، ن .
( 4 ) تبين : تتبين د ، ن .
( 5 ) قولنا ليس : قوله ليس سا .
( 6 ) بينة : ساقطة من د ، ن .
( 7 ) يكذبان : يكونان ع .
( 8 ) نقيضها : نقيضه عا
( 9 ) وهو :
وهما د ، ن .
( 10 ) ولا يمكن : ويمكن ن
( 11 ) إليه : ساقطة من د ؛ إليها ن .
( 12 ) والسالبة : فالسالبة سا
( 13 ) تبين : تتبين د ، ن .