لزوم خارجي

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

لزوم ذهني

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

لزوم الصادق

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

لزوم عقلي

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

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

-لزوم المتقابلات على استقامة فهو أن يكون كل واحد من المتقابلين لازما عن الآخر، و يكون ذلك على أحد وجهين: إما من جانب واحد، و إما على خلاف من جانبين (ف، ق، 110، 17) - الذي من جانب واحد (في لزوم المتقابلات) هو أن يكون موضوع القول الثاني مقابل موضوع القول الأول الذي عنه لزم و محموله مقابل محمول الأول (ف، ق، 111، 1) - الذي على خلاف من جانبين (في لزوم المتقابلات) أن يكون موضوع الثاني مقابل محمول الأول و محموله مقابل موضوعه (ف، ق، 111، 2) - اللزوم في المتقابلات ضد اللزوم في المتلازمات (ش، ج، 539، 22) - اللزوم في هذه المتقابلات (الأربعة) يكون على ضربين: لزوم مقلوب و ذلك إذا قويس أمران متقابلان إلى أمر واحد أو أمر واحد إلى أمرين متقابلين ... و اللزوم الغير المقلوب و هو الذي يسمّى المستقيم هو أن يلزم المقابل مقابله (ش، ج، 540، 4)

لزوم مقلوب

-اللزوم المقلوب قد يؤخذ أخذا كليّا و يؤخذ أخذا جزئيا (ف، ق، 107، 18) - إذا أخذت جزئيته (اللزوم المقلوب) كان النظر في كل واحد من أصناف المتقابلات الأربعة (ف، ق، 108، 13)

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

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

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