تلخيص كتاب القياس — صفحة 271

آ وفي كل ج وتكون آ غير موجودة في شئ من ج - كالحي فإنه موجود في بعض الأبيض وفي كل غراب ، والأبيض غير موجود في واحد من الغربان ، فإذا أخذ أنه ولا أبيض واحد حي وكل غراب حي ، فإنه ينتج ولا [ أبيض واحد غراب ، وهذه ] « 1 » نتيجة صدق عن مقدمتين إحداهما كاذبة بالجزء - وهي قولنا ولا أبيض واحد حي - والثانية صادقة بالكل - وهي قولنا كل غراب حي . وكذلك يعرض إن كانت الكاذبة بالجزء هي الموجبة وكانت السالبة صادقة بالكل - مثل قولنا كل أبيض حي ولا زفت واحد حي ، فإنه ينتج ولا أبيض واحد زفت ، وهي نتيجة صادقة عن مقدمتين إحداهما موجبة كاذبة بالجزء ، وهي قولنا كل أبيض حي - والثانية سالبة / صادقة بالكل - وهي قولنا ولا زفت واحد حي . ( 265 ) وكذلك يعرض أن تكون النتيجة صادقة إذا كانت كلتا المقدمتين كاذبتين « 2 » بالجزء . مثال ذلك قولنا كل أبيض حي ولا أسود واحد حي ، فإنه ينتج عن هذا « 3 » ولا أبيض واحد أسود ، وتلك نتيجة صادقة عن مقدمتين كاذبتين بالجزء ، وذلك أن بعض الأبيض حي وبعض الأسود حي ، وسواء فرضت السالبة هي الكبرى أو الصغرى بأن نقول ولا أبيض واحد حي وكل أسود حي - أعنى في أنه تكون النتيجة « 4 » صادقة عن مقدمتين كاذبتين بالجزء .