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