المنطق

١ ـ ان کلا من ضروب الشکل الثالث يمکن اقامة البرهان عليه بطريقة الخلف. کضروب الثاني.

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

وعلي الطالب أن يجري استعماله في جميع الضروب شحذا لذهنه. وليلاحظ أية مقدمة يجب أن يختارها من القياس المفروض. ليلتئم من النقيض ومن المقدمة الضرب المنتج.