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

استلزمت‌ لزوما بينا كما في القياس الكامل و هو الشكل الأول أو غير بين‌