تصدق ع ح‌ ب ويمكن تحويلها إلى س ح‌ ب صادقة لأن الأولى موجبة معدولة المحمول ، فيمكن جعلها سالبة محصلة المحمول ، إذ السالبة المحصلة المحمول أعم من الموجبة المعدولة المحمول إذا اتفقا في الكم ، وإذا صدق الأخص صدق الأعم قطعا ، فإذا كانت :
س ح‌ ب صادقة كذب نقيضها كل ح‌ ب ( المطلوب الثاني ) برهان عكس الموجبة الكلية :
ولأجل إثبات عكس الموجبة الكلية بعكس النقيض نقيم أيضا برهانين للموافق والمخالف ، فنقول :
أولا - المدعى : أنها تنعكس موجبة كلية بعكس النقيض الموافق ، أي :
أنه إذا صدقت :
كل ب ح‌ ( المفروض ) صدقت كل ح‌ ب ( المطلوب ) البرهان :
لو لم تصدق كل ح‌ ب لصدقت س ح‌ ب نقيضها فتصدق س ب ح‌ عكس نقيضها الموافق فتكذب كل ب حنقيض العكس المذكور وهذا خلف ، أي : خلاف الفرض ، لأن هذا - نقيض العكس المذكور - هو نفس الأصل المفروض صدقه .
فوجب أن تصدق كل ح‌ ب ( وهو المطلوب )

213