كتاب تحفة المسؤول في شرح مختصر منتهى السول

الأول: المتلازمان طردا وعكسا كالجسم والتأليف، إذ كل جسم مؤلف وكل مؤلف جسم، وهذا يجري فيه الأولان- أي التلازم بين الثبوتين وبين النفيين- كلاهما طردا وعكسا، فيصدق: كلما كان جسما كان مؤلفا، وكلما كان مؤلفا كان جسما، وكلما لم يكن جسما لم يكن مؤلفا، وكلما لم يكن مؤلفا لم يكن جسما.

الثاني: المتلازمان طردا فقط كالجسم والحدوث، إذ كل جسم حادث ولا ينعكس في الجوهر الفرد والعرض، فهذان يجري فيهما الأول – أي التلازم بين ثبوتين طردا- فيصدق: كلما كان جسما كان حادثا، ولا عكسا فلا يصدق: كلما كان حادثا كان جسما، ويجري فيهما الثاني –أي التلازم بين نفيين عكسا- فيصدق: كلما لم يكن حادثا لم يكن جسما، لا طردا فلا يصدق: كلما لم يكن جسما لم يكن حادثا.

الثالث: المتنافيان طردا وعكسا، وهما اللذان بينهما انفصال حقيقي كالحدوث ووجوب البقاء، فإنهما لا يجتمعان في ذات حتى يكون حادثا واجب البقاء، ولا يرفعان عنها حتى يكون قديما واجب البقاء.

وهذان يجري فيهما الأخيران –أعني تلازم الثبوت والنفي، والنفي والثبوت- طردا وعكسا- أي من الطرفين- فيصدق: لو كان حادثا لم يجب بقاؤه، ولو وجب بقاؤه لم يكن حادثا، ولو لم يكن حادثا وجب بقاؤه، ولو لم يكن واجب البقاء لكان حادثا.

الرابع: المتنافيان إثباتا لا نفيا، وهما الأمران اللذان بينهما انفصال مانع من الجمع، كالتأليف والقدم إذ لا يجتمعان، / فلا شيء مؤلف قديم،