تحرير القواعد المنطقية في شرح الرسالة الشمسية — الصفحة ٣٧٨

[ 89 ] قال : البحث الرابع في تلازم الشرطيّات

[ 89 ] قال : البحث الرابع في تلازم الشرطيّات

[ 89 ] قال : البحث الرابع في تلازم الشرطيّات

أمّا المتّصلة الموجبة الكلّية فتستلزم منفصلة مانعة الجمع من عين المقدّم ونقيض التالي ، ومانعة الخلوّ من نقيض المقدّم وعين التالي متعاكسين عليها ، وإلّا لبطل اللزوم والاتّصال .

والمنفصلة الحقيقيّة تستلزم أربع متصلات : مقدّم الاثنين عين أحد الجزءين وتاليهما نقيض الآخر ومقدّم الآخرين نقيض أحد الجزءين ، وتاليهما عين الآخر .

وكلّ واحدة من غير الحقيقيّة مستلزمة للأخرى مركّبة من نقيض الجزءين .

أقول : المراد بالمتّصلة في هذا الباب - أعني باب تلازم الشرطيّات - :

اللزوميّة ، وبالمنفصلة : العناديّة ، فمتى صدق اللزوم الكلّي بين أمرين يصدق منع الجمع بين عين الملزوم ونقيض اللازم ومنع الخلوّ بين نقيض الملزوم وعين اللازم ؛ وهذان الانفصالان متعاكسان على اللزوم - أي متى تحقّق منع الجمع بين أمرين يكون عين كلّ واحد منهما مستلزما لنقيض الآخر ، ومتى تحقّق منع الخلوّ بين أمرين يكون نقيض كلّ واحد منهما مستلزما لعين الآخر .