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