موجبة فنقول: «ان لم يكن كل ب د بالامكان» كان الحق اما ضرورة سلب أو ضرورة ايجاب، فنضع أولا ضرورة السلب وهى: «ليس بعض ب د بالضرورة» ونقرن (1) بها الصغرى الممكنة وهى «كل ب ج» ونفرضها وجودية وان كان فرضا كاذبا.

ولكنه ليس بمحال اذ فرض الممكن موجودا ليس بمحال فلا ينبغى أن يكون عنه محال، فان الكذب الغير المحال لا يلزمه محال.

لانه اذا كان غير محال فربما يوجد وقتا ما ويوجد لازمه معه فيصير المحال موجودا.

لكن المحال لا يتصور وجوده فلا ينبغى أن يكون لازما للكذب الغير

مخ ۲۶۵