زيد ليس يوجد لا عادلا * زيد يوجد لا عادلا تصدق إذا كان عادلا * تكذب إذا كان عادلا أو معدوما فقط وتكذب * أو معدوما وتصدق في البواقي * في البواقي زيد ليس يوجد جائرا * زيد يوجد جائرا تكذب إذا كان جائرا * يصدق في واحد فقط وتصدق إذا كان معدوما * وهو إذا كان جائرا أو عادلا أو مختلطا أو بالقوة * وتكذب في أو لا بالقوة * البواقي فكل اثنتين من هذه على العرض فهما متناقضتان لا تصدقان معا ولا تكذبان معا واما اللواتي على الطول ففي الطبقة الأولى كل متقدم في الوضع فهو أخص صدقا فالعدمية السالبة أعم من السالبة المعدولية والمعدولية من الموجبة البسيطة كما قيل فإذا صدقت الموجبة البسيطة صدقت السالبة المعدولية وإذا صدقت السالبة المعدولية صدقت السالبة العدمية ولا تنعكس وإذا كذبت السالبة العدمية كذبت المعدولية السالبة وإذا كذبت المعدولية السالبة كذبت البسيطة الموجبة ولا تنعكس واما في الطبقة الثانية فالامر بالعكس فان المتأخر في الوضع أخص صدقا والمتقدم به أعم صدقا فإذا صدقت العدمية الموجبة صدقت المعدولية الموجبة وإذا صدقت المعدولية الموجبة صدقت السالبة البسيطة ولا تنعكس وفي الكذب بالعكس .
واما النسبة بينها قطرا فمختلفة اما القطر المبتدئ من الطبقة اليمنى آخذا إلى اليسرى وهو الواقع بين الموجبة البسيطة وبين الموجبتين المعدولية والعدمية فإنه يمنع اجتماع الطرفين على الصدق ولا يمنع اجتماعهما على الكذب إذا كان الموضوع معدوما وكذلك في القطر الواقع بين المعدولية السالبة وبين الموجبة العدمية
الكتاب المعتبر في الحكمة — صفحة 98
مساهمون: ابو البركات
ص٩٨