ثم هذه النتيجة نجعلها صغري للقضية رقم (٢) فيحدث :

کل د ب ولا د حـ (ثاني الشکل الثالث)

... س ب حـ (وهو المطلوب)

ولنجربه ثانيا في الاستدلال على الضرب الرابع من الشکل الثاني فنقول : ـ

المفروض س ب م وکل حـ م

المدعي ... س ب حـ

البرهان :

بالافتراض.

نفرض (بعض ب) الذي هو ليس م انه (د) وذلک في السالبة الجزئية (س ب م) فنستخرج القضيتين الصادقيتن :

(١) کل د ب

(٢) لا د م

ثم نأخذ القضية رقم (٢) ونجعلها صغري لکبري الاصل فيحدث :

لا د م وکل حـ م (ثاني الشکل الثاني)

... لا د حـ

ثم نعکس القضية رقم (١) الي : ع ب د

ونضم هذا العکس الى النتيجة الاخيرة ونجعله صغري فيحدث :

ع ب د ولا د حـ (رابع الشکل الاول)

.... س ب حـ (وهو المطلوب)

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