- السلب الحمليّ: هو مثل قولنا: الإنسان ليس بجسم و حاله تلك الحال (س، أ، ٢٧١، ١٣)- السلب الحملي: اعلم أنّك تحتاج في السلب أن تسلب العلاقة التي بين المحمول و الموضوع، فلذلك إن كانت القضيّة ثلاثيّة- إذ قد ذكر فيها الرابطة- تحتاج أن تلحق حرف السلب بالرابطة فتقول «زيد ليس هو بعاقل» فإن لم تفعل هذا بل قلت «زيد هو ليس بعاقل» دخل هو بين «زيد» و بين «ليس بعاقل» دخول رابطة الإثبات فجعل الحكم إثبات الداخل فيه حرف النفي فأثبت اللاعاقلية على زيد لأنّ «هو» للربط لا لفصل الربط (س، ش، ٦٦، ٦)

سلب السلب‌

- سلب السلب إيجاب (ب، م، ١٥٧، ١)

سلب الضرورة

- إنّ قولنا بالضرورة ليس، ليس سلب الضرورة؛ بل سلب الضرورة ليس بالضرورة (س، ق، ١٠٤، ٤)

سلب طبيعي‌

- أن تقول: ليس السماء بخفيفة أو ثقيلة، فإنّ هذا سلب طبيعيّ سابق إلى الذهن. و كذلك الحال في قولنا: ليست النفس بمائتة، أو ليست النار المجرّدة بمرئيّة (س، ق، ١١٩، ١٣)

سلب عن كل‌

- ليس كل إنسان بكاتب، فهو صيغة السلب عن الكل، لا للسلب الكلّي، و لا للسلب الجزئيّ.

أعني أنّه يدل على سلب الكتابة عن جميع الناس، لا عن كل واحد منهم، و لا عن بعضهم (ط، ش، ٢٧٦، ١)

سلب عناد

- سلب العناد كقولك: ليس إمّا أن يكون الإنسان ناطقا و إمّا أن يكون ضاحكا (س، ع، ٤٢، ٦)

سلب كلي مع اطلاق‌

- إنّ المفهوم من صيغة السلب الكلّي مع الإطلاق في المتعارف من لغتي العرب و العجم، و هو سلب المحمول عن جميع آحاد الموضوع في جميع أوقات كونها موصوفة بما وضع معه، على وجه يعم الدائم و اللادائم. و الضروريّ و اللاضروريّ، و بحسب الذات، و هو أعمّ من الضروريّ المشروط بالوصف (ط، ش، ٣٣٣، ٤)

سلب متصل‌

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

و السلب المتصل هو ما يسلب هذا اللزوم أو الصحبة، كقولك: ليس إذا كانت الشمس طالعة فالليل موجود. و الإيجاب المنفصل‌