Talikat 330
مرجعه اثبات الشئ بابطال نقيضه. وصورته: قياس استثنائي غير مستقيم، يثبت مقدمته الشرطية باقترانيات مركبة.
وبالافتراض ومرجعه: إخراج الموضوع الحقيقي... ثم حمل عنواني الموضوع والمحمول كليّة عليه. ثم ضم عقد الوضع الى الكبرى. ثم ضمّ النتيجة الى عقد الحمل، لينتج المطلوب
الضرب الخامس: من موجبتين، والكبرى جزئية.. كـ “كل مؤلّف جسم، وبعض المؤلّف حادث” بالخلف كما مرّ. وبعكس الكبرى مع الترتيب.. وعكس النتيجة هكذا: اذا صدّق هذا الضرب، صدّق صغراه مع لازم كبراه.. فيصدق لازم الكبرى مع الصغرى ايضاً، فيستلزم بالشكل الاول ملزوم المطلوب.
وبالافتراض : بفرض موضوع الكبرى الجزئية “انساناً.. فكل انسان مؤلّف ، وكل انسان حادث” فاجعل المقدمة الافتراضية الاولى صغرى للصغرى.. ثم ضم نتيجتها صغرى للمقدمة الافتراضية الثانية
الضرب السادس: من موجبة كلية صغرى، وسالبة جزئية كبرى.. نحو: “كل مؤلّف جسم، وبعض المؤلّف ليس بقديم.. فبعض الجسم ليس بقديم” بالخلف - كما مرّ - دون العكس. لان الكبرى لاتقبل العكس. وبعكس الصغرى يصير الدليل من جزئيتين.. ودون الافتراض ايضاً. لان الكبرى الجزئية سالبة، لاتقتضي وجود الموضوع، الاّ اذا كانت مركبة. والافتراض: اخراج الموضوع الحقيقي الموجود
الشكل الرابع: اساسه