ثم تعكس أولى الافتراض الى «بعض ب ا» و تضمها الى النتيجة السابقة هكذا: «بعض ب ا» و «لا شي‌ء من ا د» ينتج «ليس بعض ب د» و هو المطلوب، و أما الخلف فهو [1] ما عرفته.

[1] -فهو ما عرفته و محصله أنه لو لم يصدق «ليس بعض ب د» لصدق نقيضه و هو «كل ب د» و يضم الى كبرى القياس و هى: «كل د ج» لينتج «كل ب ج» و قد كانت صغرى القياس المفروض صدقها «ليس بعض ب ج» هذا خلف.

غ