ما الفرق بين العبارات الشرطية والعبارات المعاكسة في المنطق الرياضي

العبارة الشرطية (إذا كان P فإن Q) تربط فرضاً بنتيجة.
العبارة المعاكسة (إذا كان ليس Q فإن ليس P) هي نفي النتيجة ونفي الفرض مع تبديل أماكنهما.
ملاحظة: العبارة المعاكسة تكافئ منطقياً العبارة الشرطية الأصلية، أي لهما نفس قيمة الصواب دائماً.