قياسين قياس اقتراني و قياس استثنائي كما قلنا
من اقتراني و الاستثنائي
قياس خلف ذو ائتلاف جائي
هكذا لو لم يثبت المطلوب لثبت نقيضه و كلما ثبت نقيضه ثبت محال ينتج لو لم يثبت المطلوب لثبت المحال لكن المحال غير ثابت فيثبت المطلوب.