تلخيص كتاب القياس — الصفحة ٢٤٧
الفصل الثالث
كذب عليه د « 1 »
إذ إحداهما موجبة والأخرى سالبة « 2 »
. وأما جيم « 3 »
- وهي السالبة « 4 »
المعدولة - وب « 5 »
- وهي السالبة « 6 »
البسيطة - [ فقد / يجتمعان في شئ واحد ، لأنه ليس يلزم وجود د فيما توجد ب وإنما الأمر بالعكس - أعنى أن ب توجد « 7 »
فيما يوجد فيه د ] « 8 »
.
( 239 آ ) « 9 »
وقد يتوهم أن آ - وهي الموجبة البسيطة ود - وهي الموجبة المعدولة - متقابلتان « 10 »
، وذلك أنه لما كنا وضعنا أن د متى « 11 »
كانت
( 1 ) د ف ، ق ، م ، د ، ش : ب ل .
( 2 ) سالبة ف ، ل ، ق ، م ، د ، ش : + فاذن ما صدق عليه ج كذب عليه ب ل ؛ فاذن ما صدق عليه ا كذب عليه د ق ، م ؛ فإذا صدق عليه ج كذب عليه د د ؛ فإذا ما صدق عليه ج كذب عليه د ش .
( 3 ) جيم ف : د ل ؛ ج ق ، م ، د ، ش .
( 4 ) السالبة ف ، ق ، م ، د ، ش : الموجبة ل .
( 5 ) ب ف ، ق ، م ، د ، ش : ا ل .
( 6 ) السالبة ف ، ق ، م ، د ، ش : الموجبة ل .
( 7 ) توجد ف : يوجد ل .
( 8 ) فقد . . . فيه د ف ، ل : فقد ( فهمام ) يجتمعان على الصدق ( + دون الكذب م ) وذلك حيث تكذب الموجبتان البسيطة والمعدولة ولا يجتمعان على الكذب أصلا ( + ود ) لأنهما لو اجتمعا على الكذب لصدق ( يصدق د ؛ صدق ش ) مقابل كل واحد منهما فكان يلزم اجتماع الموجبتين المعدولة والبسيطة على الصدق وقد تبين امتناع ذلك ويحصل ( يتحصل ، م ، ش ) من هذا إذا صدقت ( صدق ش ) إحداهما لم يلزم صدق الأخرى ولا كذبها وإذا كذبت ( كذب ش ) إحداهما صدقت الأخرى ضرورة ق ، م ، د ، ش .
( 9 ) وقد يتوهم . . . الكلية المعدولة ل ، ق ، م ، د ، ش : - ف .
( 10 ) متقابلتان ل ، م : متقابلين ق ؛ متقابلان د ، ش .
( 11 ) متى ل ، م ، د ، ش : حتى ق .