قياس الخلف‌

- هو الذي يبين فيه المطلوب من جهة كذب نقيضه فيقال لو لم يكن هذا حقا لصدق نقيضه لاستحالة ارتفاع النقيضين لكن نقيضه غير صادق فيكون عينه حقا كما علمت جريانه فيما سلف.

و إليه أشرنا بقولنا وضع‌ للمطلوب‌ برفع للنقيض يكتنف خلف‌ أي قياس خلف. و يسمى به لأنه يؤدي إلى خلاف المقرر و المفروض. أو لأنه ينتقل فيه إلى المطلوب من خلفه و ورائه أي نقيضه. و هو خلاف المستقيم قد عرف‌ أي دليل الخلف يقال لمقابلته الدليل المستقيم.

و قياس الخلف بالحقيقة ينحل إلى‌