عكس نقيض

  ميّز عن عكس استلزام.

عكس النقيض هو جعل نقيض الجزء الثاني من القضية جزء أولا، ونقيض الأول ثانيا مع بقاء الكيف والصدق بحالهما، فإذا قلنا: كل إنسان حيوان، كان عكسه: كل ما ليس بحيوان ليس بإنسان.

المنطق الرياضي

لتكن P و Q قضيتان، نرمز للعكس النقيض بـ:

$(P\Rightarrow Q)\iff (\mathrm{\neg }Q\Rightarrow \mathrm{\neg }P)$

انظر أيضا

• عكس مستو