المعنى للاصغر لان ذاتى الذاتى بذلك المعنى ذاتى.

وقد بينا أن هذا الذاتى لا يكون مطلوبا الا فى حالتى (1) الاستثناء.

وأما شرط كونها ضرورية اذا كان المطلوب ضروريا فلانها لو لم تكن ضرورية بل كانت جائزة الزوال والتغير واكتسب بواسطتها شيء لم يكن ثابتا لا يتغير فلم يكن ضروريا، فاذا كان المطلوب ممكنا واستعملت المقدمات لنتاج امكانه فلا محالة أنه ممكن.

واذا صادفت فى كتبهم أن مقدمات البرهان ضرورية لا محالة، فانما يعنون به أحد أمرين. اما أنها ضرورية الصدق كانت ضرورية أو ممكنة، أو أنها ضرورية عند كون المطلوب ضروريا.

ومعنى (2) الضرورى فى البرهان أعم من الضرورى الذي استعملناه فى

مخ ۴۱۲