فالاول‌ [1]: من كليتين مع ايجاب الصغرى و سلب الكبرى. و الثانى: منهما عكسا، و نتيجتهما سالبة كلية. و الثالث: من مختلفتين كيفا و كمّا مع الايجاب و الجزئية في الصغرى. و الرابع: منهما مع تبديلهما.

و البيان بالخلف في الكل، و هو ضم نقيض النتيجة الى الكبرى لينتج ما يناقض الصغرى.

و بعكس الكبرى في الاول ليعود [2] الى الشكل الاول. و به‌ [3] و بالافتراض في الثالث، و هو فرض موضوع المقدمة معيّنا لتصير كلية يحصل المطلوب من قياسين، احدهما من الشكل الاول و الاخر من هذا و لكن من كليتين. و بعكس الصغرى في الثانى و جعلها كبرى ثم عكس النتيجة ليحصل المطلوب.

لمعة [5] [فى شرائط الشكل الثالث و ضروبه و اثباته‌]

شروط الثالث (1): ايجاب الصغرى، و الّا لجاز توافق الطرفين [ب- 10] بان سلب النوع و فصله‌ [4] عما يباين جنسه، او [5] سلب احد النوعين عن الآخر و حمل فصله عليه.

[1] - أى: الضرب الاول.

[2] - الف: فيعود.

[3] - أى بعكس الكبرى.

[4] - قوله: «بأن سلب النوع و فصله»: أى الصغرى لو كانت ممكنة لزم الاختلاف الموجب للعقم كما اذا فرضنا أن زيدا ركب الفرس و لم يركب الحمار. و عمرو ركب الحمار و لم يركب الفرس صدق: كل ما هو مركوب زيد فهو مركوب عمرو بالامكان، و كل ما هو مركوب زيد فهو فرس بالضرورة، و كان الصادق فيه السلب، و لو بدلنا الكبرى بلا شي‌ء مما هو مركوب زيد بخمار بالضرورة كان الصادق فيه الايجاب، و السر ظاهر. (منه)

[5] - الف: بان.