أحدهما فهو يستلزم تحقق الآخر. فإذا صدق قولنا:
العدد إما زوج أو فرد (قضية حقيقية) صدقت المتصلات الأربع:
(1) إذا كان العدد زوجا فهو ليس بفرد (2) إذا كان العدد فردا فهو ليس بزوج (3) إذا لم يكن العدد زوجا فهو فرد (4) إذا لم يكن العدد فردا فهو زوج 2 - مانعة الجمع: وهي تستلزم المتصلتين الأوليين اللتين مقدم كل واحدة منهما عين أحد الطرفين والتالي نقيض الآخر، لأنها كالحقيقية في دلالتها على استحالة الجمع، ولا تدل على استحالة الخلو. فإذا صدق:
الشئ إما شجر أو حجر (مانعة جمع) صدقت المتصلتان:
(1) إذا كان الشئ شجرا فهو ليس بحجر (2) إذا كان الشئ حجرا فهو ليس بشجر ولا تصدق المتصلتان:
(3) إذا لم يكن الشئ شجرا فهو حجر (4) إذا لم يكن الشئ حجرا فهو شجر 3 - مانعة الخلو: وهي تستلزم المتصلتين الأخيرتين فقط اللتين مقدم كل واحدة منهما نقيض أحد الطرفين والتالي عين الآخر، لأنها كالحقيقية في دلالتها على استحالة الخلو، ولا تدل على استحالة الجمع. فإذا صدق:
زيد إما في الماء أو لا يغرق (مانعة خلو) صدقت المتصلتان:
(3) إذا لم يكن زيد في الماء فهو لا يغرق (4) إذا غرق زيد فهو في الماء