احدهما فهو يستلزم تحقق الآخر فاذا صدق قولنا :

صدقت المتصلات الأربع :

(١) اذا کان العدد زوجا فهو ليس بفرد

(٢) اذا کان العدد فردا فهو ليس بزوج

(٣) اذا لم يکن العدد زوجا فهو فرد

(٤) اذا لم يکن العدد فردا فهو زوج

٢ ـ (مانعة الجمع) وهي تستلزم المتصلتين الاوليتين اللتين مقدم کل واحدة منهما عين أحد الطرفين والتالي نقيض الاخر لأنها کالحقيقية في دلالتها على استحالة الجمع ولا تدل على استحالة الخلو فاذا صدق :

صدقت المتصلتان :

(١) اذا کان الشيء شجرا فهو ليس بحجر

(٢) اذا کان الشيء حجرا فهو ليس بشجر

ولا تصدق المتصلتان :

(٣) اذا لم يکن الشيء شجرا فهو حجر

(٤) اذا لم يکن الشيء حجرا فهو شجر

٣ ـ (مانعة الخلو) وهي تستلزم المتصلتين الاخيرتين فقط اللتين مقدم کل واحدة منهما نقيض أحد الطرفين والتالي عين الآخر لانها کالحقيقية في دلالتها على استحالة الخلو ولا تدل على استحالة الجمع فاذا صدق :

صدقت المتصلتان :

(٣) اذا لم يکن زيد في الماء فهو لا يغرق

(٤) اذا غرق زيد فهو في الماء