تبیان، دستیار زندگی

2 - ثم نقيس هذه النتيجة الحاصلة الي المقدمة الاخري المفروضة الصدق و هي (س ب م) فنجد انهما نقيضان: فأما ان تکذب (س ب م) و المفروض صدقها هذا خلف أي خلاف ما فرض من صدقها و اما أن تکذب هذه النتيجة الحاصلة و هي (کل ب م). و هذا هو المتعين.

3 - ثم نقول حينئذ: لا بد أن يکون کذب هذه النتيجة المتقدمة ناشئا من کذب احدي المقدمتين لأن تأليف القياس لا خلل فيه حسب الفرض ولا يجوز کذب المقدمة المفروضة الصدق فلا بد ان يتعين کذب المقدمة الثانية التي هي (نقيض المطلوب) کل ب حـ فيثبت المطلوب (س ب حـ).

4 - و بالاخير يوضع الاستدلال هکذا:

أ- من قياس اقتراني شرطي.

(1) الصغري التي هي قولنا (لو لم يصدق س ب حـ فکل ب حـ)

(2) الکبري المفروض صدقها هو قولنا (کل حـ م)

فينتج حسبما ذکرناه في أخذ نتيجة النوع الرابع من الشرطي:

(لو لم يصدق س ب حـ فکل ب م) ..

ب من قياس استثنائي.

(1) الصغري نتيجة الشرطي السابق و هي:

لو لم يصدق س ب حـ فکل ب م.

(2) الکبري قولنا: و (لکن کل ب م کاذبة)

لانه نقيضها و هو (س ب م) صادق حسب الفرض

فينتج : «يجب أن يکون (س ب حـ) صادقا» و هو المطلوب