تنبيهات
طريقة الخلف:
1 - ان کلا من ضروب الشکل الثالث يمکن اقامة البرهان عليه بطريقة الخلف. کضروب الثاني. و (الخلف) : استدلال غير مباشر يبرهن به علي کذب نقيض المطلوب. ليستدل به علي صدق المطلوب. و هو في الاشکال خاصة يؤخذ نقيض النتيجة المطلوب اثباتها. فيقال لو لم تصدق لصدق نقيضها. و اذ فرض صدق النقيض يضم الي احدي المقدمتين المفروض صدقها. ليتألف من النقيض و هذه المقدمة ضرب من ضروب الشکل الاول . فينتج ما يناقض المقدمة الاخري الصادقة بالفرض. هذا خلف. فلا بد أن تکذب هذه النتيجة . و کذبها لا بد أن ينشأ من کذب نقيض المطلوب . فيثبت صدق المطلوب. و قد تقدمت امثلته. وعلي الطالب أن يجري استعماله في جميع الضروب شحذا لذهنه. وليلاحظ أية مقدمة يجب أن يختارها من القياس المفروض. ليلتئم من النقيض و من المقدمة الضرب المنتج.
دليل الافتراض:
2 - وقد يستدل بدليل (الافتراض) علي انتاج بعض الضروب الذي تکون احدي مقدمتيه جزئية من هذا الشکل أو من الثاني. و لا بأس بشرحه تنويرا لافکار الطلاب. و ان کانوا في غني عنه دليل العکس و الخلف. و له مراحل ثلاث:
الاولي- (الفرض) و هو أن نفرض اسما خاصا للبعض الذي هو مورد الحکم في