المقدّمتين للقياس المفروض صدقهما ، لاستخراج النتيجة المطلوب إثبات صدقها .
ولنجرّب هذا الدليل ، بعد أن فهمنا مراحله ، في الاستدلال على الضرب الخامس من الشكل الثالث ، فنقول :
المفروض : كلّ م ب . - وس م ح - ( الخامس من الثالث )
المدّعى : - س ب م
البرهان : بالافتراض
نفرض بعض م ( في السالبة الجزئية س م ح - ) الذي هو ليس ح - ، أنّه ( د ) ، فنستخرج القضيتين الصادقتين :
( 1 ) كل د م .
( 2 ) لا د ح - .
ثمّ نأخذ القضية رقم ( 1 ) ونجعلها صغرى لصغرى الأصل ، فيحدث :
كل د م - وكلّ مب - ( أوّل الشكل الأوّل )
- كلّ د ب
ثمّ هذه النتيجة نجعلها صغرى للقضية رقم ( 2 ) ، فيحدث :
كل د ب . - ولا د ح - ( ثاني الشكل الثالث )
- سب ح ( وهو المطلوب )
ولنجرّبه - ثانياً - في الاستدلال على الضرب الرابع من الشكل الثاني فنقول :
المفروض : - س ب م - وكلّ ح - م
المدّعى : - س ب ح -
البرهان بالافتراض :
نفرض ( بعض ب ) الذي ليس هو م أنّه ( د ) وذلك في السالبة الجزئية ( س ب م ) ، فنستخرج القضيتين الصادقتين :
( 1 ) كل د ب . - ( 2 ) لا د م .
شرح كتاب المنطق — صفحة 224
مساهمون: السيد كمال الحيدري
ص٢٢٤