لان الصغري سالبة جزئية لا تنعکس. وعکس الکبري جزئية لا يلتئم منها (١) ومن الصغري قياس لانه لا قياس من جزئيتين. فنفزع حينئذ للبرهان عليه الى طريقة أخري تسمي (طريفة الخلف) فيقال :
المفروض |
س ب م. |
وکل حـ م |
المدعي |
... س ب م |
|
البرهان :
لو لم تصدق |
س ب حـ |
(النتيجة) |
لصدق نقيضها |
کل ب حـ |
|
فنجعل هذا النقيض صغري لکبري الاصل فيتألف قياس من الضرب الاول
من الشکل الاول :
کل ب حـ. وکل حـ م
... کل ب م
فيکذب نقيض هذه النتيجة س ب م
وهو عين الصغري المفروض صدقها
وهذا خلاف الفرض
فوجب صدق |
س ب حـ |
(وهو المطلوب) |
تمرين
برهن على کل واحد من الضروب الثلاثة الاولي بطريقة الخلف التي برهنابها على الضرب الرابع.
الشکل الثالث
وهو ما کان الاوسط فيه موضوعا في المقدمتين معا فيکون الاکبر
__________________
(١) كذا ، والمناسب : منه.