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