[ 89 ] قال : البحث الرابع في تلازم الشرطيّات
أمّا المتّصلة الموجبة الكلّية فتستلزم منفصلة مانعة الجمع من عين المقدّم ونقيض التالي ، ومانعة الخلوّ من نقيض المقدّم وعين التالي متعاكسين عليها ، وإلّا لبطل اللزوم والاتّصال .
والمنفصلة الحقيقيّة تستلزم أربع متصلات : مقدّم الاثنين عين أحد الجزءين وتاليهما نقيض الآخر ومقدّم الآخرين نقيض أحد الجزءين ، وتاليهما عين الآخر .
وكلّ واحدة من غير الحقيقيّة مستلزمة للأخرى مركّبة من نقيض الجزءين .
أقول : المراد بالمتّصلة في هذا الباب - أعني باب تلازم الشرطيّات - :
اللزوميّة ، وبالمنفصلة : العناديّة ، فمتى صدق اللزوم الكلّي بين أمرين يصدق منع الجمع بين عين الملزوم ونقيض اللازم ومنع الخلوّ بين نقيض الملزوم وعين اللازم ؛ وهذان الانفصالان متعاكسان على اللزوم - أي متى تحقّق منع الجمع بين أمرين يكون عين كلّ واحد منهما مستلزما لنقيض الآخر ، ومتى تحقّق منع الخلوّ بين أمرين يكون نقيض كلّ واحد منهما مستلزما لعين الآخر .