المتباينين اذ ربما يکون بينهما العموم والخصوص من وجه.

أي ان السالبة الکلية بين نقيضي المتباينين لا تصدق دائما.

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

لا ب حـ

البرهان :

لما کان بين ب ، حـ تباين کلي کما تقدم فمعناه أن احدهما يصدق من نقيض الآخر.

أي ان ب يصدق مع حَـ

واذا تصادق ب وحَـ

صدق على الاقل ع حـ ب

(المطلوب الاول)

ثم انه تقدم ان نقيضي المتباينين قد تکون بينهما نسبة العموم والخصوص من وجه فيصدق على هذا التقدير :

حَـ مع ب

برهان عکس السالبة الجزئية

ولأجل اثبات عکس السالبة الجزئية بعکس النقيض أيضا نقيم برهانين للموافق والمخالف فنقول :