المنطق — الصفحة ٢٦٥

2 - دليل الافتراض

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

كل د م وكل م ب ( أول الشكل الأول )

/ كل د ب

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

كل د ب ولا د ح‍ ( ثاني الشكل الثالث )

/ س ب ح‍ ( وهو المطلوب )

ولنجربه - ثانيا - في الاستدلال على الضرب الرابع من الشكل الثاني ،

فنقول :

المفروض س ب م وكل ح‍ م

المدعى س ب ح‍

البرهان بالافتراض :

نفرض " بعض ب " الذي هو " ليس م " أنه " د " وذلك في السالبة

الجزئية " س ب م " فنستخرج القضيتين الصادقيتن :

1 - كل د ب

2 - لا د م

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

لا د م وكل ح‍ م ( ثاني الشكل الثاني )

/ لا د ح‍

ثم نعكس القضية ( رقم 1 ) إلى : ع ب د

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

ع ب دو لا د ح‍ ( رابع الشكل الأول )

/ س ب ح‍ ( وهو المطلوب )

فرأيت أنا استعملنا - في الأثناء - العكس المستوي للقضية ( رقم 1 )