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