2 - صحت سلب : ذاتى كه قبلا متصف به اين صفت بوده و اكنون نيست ، صحيح است كه مشتق را از ذات سلب كنيم . مثلا : تقى ليس بضارب .
عدم صحت سلب : ذاتى كه اكنون متلبس به اين مبدأ و صحت حمل دارد نه صحت سلب ، يعنى وقتى كه تقى اكنون ضارب است ، نمىتوان گفت ليس بضارب و اين علامت حقيقت است ، همانطور كه صحت سلب علامت مجاز است .
نتيجه : به نظر ما : مشتقات حقيقت هستند در خصوص ذاتى كه متلبس به مبدأ باشد فعلا . و مجاز هستند در ما انقضى عنه التلبس .
پايان
كفاية الأصول ( فارسى ) — صفحه 574
پدیدآورندگان: الآخوند الخراساني
ص۵۷۴