- اللزوم الخارجي كونه بحيث يلزم من تحقق المسمّى في الخارج تحققه في الخارج، و لا يلزم من ذلك انتقال الذهن منه إليه كيف، و لو كان اللزوم الخارجيّ شرطا لمّا يتحقق الالتزام بدونه و ليس كذلك (ه، م، ٥، ٦)

لزوم ذهني‌

- إنّ اللزوم الذهني كونه بحيث يلزم من تصوّر المسمّى تصوّره فيتحقق الانتقال (ه، م، ٥، ٥)- أقوى مراتب اللزوم الذهني و هو البيّن بالمعنى الأخص حتى يفيد جهة اختيار الالتزام على اللزوم (ه، م، ٣٧، ١٤)

لزوم الصادق‌

- لزوم الصادق عن مقدمات كاذبة هو لزوم الصادق بالعرض من قبل أنه عرض لشي‌ء واحد إن كان لازما و صادقا، و أما لزوم الصادق عن مقدمات صادقة فهو لزوم بالذات (ف، س، ١٤٠، ١٩)

لزوم عقلي‌

- لا معنى للزوم العقلي إلّا أنّ تعقّل الملزوم لا ينفك في العقل عن تعقّل لازمه؛ و ذلك هو المراد من كونه بيّنا له (ط، ش، ٢٠٩، ٣)

لزوم المتقابلات‌

- لزوم المتقابلات على استقامة فهو أن يكون كل واحد من المتقابلين لازما عن الآخر، و يكون ذلك على أحد وجهين: إما من جانب واحد، و إما على خلاف من جانبين (ف، ق، ١١٠، ١٧)- الذي من جانب واحد (في لزوم المتقابلات) هو أن يكون موضوع القول الثاني مقابل موضوع القول الأول الذي عنه لزم و محموله مقابل محمول الأول (ف، ق، ١١١، ١)- الذي على خلاف من جانبين (في لزوم المتقابلات) أن يكون موضوع الثاني مقابل محمول الأول و محموله مقابل موضوعه (ف، ق، ١١١، ٢)- اللزوم في المتقابلات ضد اللزوم في المتلازمات (ش، ج، ٥٣٩، ٢٢)- اللزوم في هذه المتقابلات (الأربعة) يكون على ضربين: لزوم مقلوب و ذلك إذا قويس أمران متقابلان إلى أمر واحد أو أمر واحد إلى أمرين متقابلين ... و اللزوم الغير المقلوب و هو الذي يسمّى المستقيم هو أن يلزم المقابل مقابله (ش، ج، ٥٤٠، ٤)

لزوم مقلوب‌

- اللزوم المقلوب قد يؤخذ أخذا كليّا و يؤخذ أخذا جزئيا (ف، ق، ١٠٧، ١٨)- إذا أخذت جزئيته (اللزوم المقلوب) كان النظر في كل واحد من أصناف المتقابلات الأربعة (ف، ق، ١٠٨، ١٣)

لزوميات لفظية

- اللزوميات اللفظيّة لا تستعمل إلّا في الإلزامات الجدليّة، أو الخلف، كما يقال على من زعم أنّ الاثنين فرد. كلما كان الاثنان فردا، فهو عدد. و كلما كان الاثنان عددا، فهو زوج.

و كلما كان الاثنان فردا، فهو زوج. فإنّها لا تفيد سوى الإلزام، أو النقض (ط، ش، ٤٨٨، ١٦)