تجريد المنطق — الصفحة ١٨

[ تلازم الشرطيّات ]

وهذا التأليف يخرج أجزاءها عن أن يكون قضايا ، فيصير الايجاب والصدق ومقابلاهما متعلّقة بالربط ولا يلتفت فيها إلى أحوال أجزائها .

ومن المتصلة لزوميّة ، كقولنا : « إن كان زيد يكتب فهو يتحرّك يده » .

ومنها اتفاقية ، كقولنا : « إن كان الانسان ناطقا فالحمار ناهق » .

والكاذب يستلزم الكاذب أو الصادق ، والصادق لا يستلزم الكاذب ، وقس الممكن والمحال عليهما .

ولا اتفاقيّة الّا عن صادقين .

ومن المنفصلة حقيقية تمنع الجمع والخلوّ - كما مرّ - وتتألف عمّا في قوة طرفي النقيض .

ومنها ما يمنع الجمع فقط كقولنا : « هذا الشخص امّا حجر أو شجر » ويحدث من تخصيص أحد الطرفين .

أو يمنع الخلوّ فقط ، كقولنا : « زيد امّا في الماء وامّا غير غريق » ويحدث من تعميمه .

وكل واحد من الأخيرين ان أخذ شاملا للحقيقيّة كان بسيطا والّا فمركّب .

ويتلازم كل متّصلتين مقدمهما واحد وتاليهما طرفا النقيض ، وهما