آثار الباقية في شرح الحاشية - ذهنی تهرانی، سید محمد جواد - الصفحة ٢٧٠ - عكس مشروطه و عرفيه خاصه
سپس ميفرمايد :
عكس ايندو « حينيّه مطلقه » مقيّد به « لا دوام » ميباشد .
امّا برهان عكس ايندو به « حينيّه مطلقه » اينستكه هر وقت دو قضيّه مشروطه خاصّه و عرفيّه خاصّه در موردى صادق باشند قطعا عرفيّه عامّه و مشروطه عامه نيز در آنجا صادقند زيرا در محلّش مقرّر است كه صدق خاص ملازم با صدق عام مىباشد و قبلا گفته شد در هر مورديكه مشروط و عرفيه عامه صدق كنند عكس ايندو كه « حينيّه مطلقه » است نيز صادق ميباشد پس از باب و لازم اللّازم لازم در عكس مشروطه و عرفيّه خاصّه نيز اين قضيّه بايد صادق باشد .
و امّا برهان و دليل بر صدق قيد « لا دوام » :
اگر اين قيد صادق نباشد مىبايد نقيضش صدق كند و وقتى نقيض را با جزء اوّل از اصل قضيّه ضميمه نمائيم نتيجهاى مىدهد كه آنرا محفوظ نگاه داشته و سپس با جزء دوّم از اصل ضميمه كرده و تشكيل قياسى ميدهيم و پس از اخذ نتيجه ملاحظه ميشود نتيجهاى كه اين بار بدست آمده با نتيجه قبلى منافات دارد .
حاشيه : مثلا كلّما صدق « بالضّرورة او بالدّوام كلّ كاتب متحرك الاصابع مادام كاتببا لا دائما » صدق فى العكس « بعض متحرّك الاصابع كاتب بالفعل حين هو متحرك الاصابع لا دائما » .
امّا صدق الجزء الاوّل فقد ظهر ممّا سبق .
و امّا صدق الجزء الثانى اى اللّادوام و معناه « ليس بعض متحرّك الاصابع كاتبا بالفعل » فلانّه لو لم يصدق لصدق نقيضه و هو قولنا « كلّ متحرّك الاصابع كاتب دائما » فنضّمه الى الجزء الاوّل من الاصل فنقول : كلّ متحرّك الاصابع كاتب دائما و كلّ كاتب متحرّك الاصابع مادام كاتبا ينتج كلّ متحرك الاصابع متحرك الاصابع دائما ثمّ نضمّه الى الجزء
آثار الباقية في شرح الحاشية، ص