في تقابُل التضايُف
المتضايفان أمران وجوديان يتوقف أحدهما على تعقُّل الآخر، وهما يتحدان في الحكم؛ أي يُوجَد بينهما تكافؤ وتطابق، فإذا وُجد أحدهما وُجد الآخر، إذا وُجد الأعلى وُجد الأسفل، ولا يمكن وجود أسفل بلا أعلى ولا أعلى بلا أسفل، وإذا وُجد زوج وُجدَت زوجة، وإذا لم يُوجَد زوج فلا تُوجَد زوجة، وهكذا.
ومتكافئان قوةً وفعلًا، فإذا كان أخ بالقوة فالأخ الآخر يكون بالقوة أيضًا، وإذا كان الأخ بالفعل فالأخ الآخر يكون بالفعل أيضًا.
ومتكافئان أيضًا بالوجود والعدم، فإذا كان الفوق موجودًا فالتحت أيضًا موجود، وإذا كان أحدهما معدومًا فالآخر أيضًا معدوم؛ وعليه فإن أحدهما مع الآخر، ولا يمكن أن يتقدم أحدهما على الآخر، أو يتخلف أحدهما عن الآخر؛ فهما في الذهن كما في الخارج مترابطان، كل واحدٍ يصاحب الآخر.
والتضايف في المنطق: هو تقابل حدَّين؛ بحيث يتوقف تصوُّر كلٍّ منهما على تصوُّر الآخر.
