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