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