عكس استلزام

عكس الاستلزام (بالإنجليزية: Converse Implication)‏ هو عكس الاستلزام المنطقي، ويكتب ←.[1] ذلك بالقول؛ ان أي اثنين من القضايا و، إذا كان يستلزم ، فإن هو عكس الاستلزام لـ .

مخطط فين لـ (تظهر المنطقة البيضاء حيث يكون البيان خاطئًا)

يرمز لها بـ ، ولكن يمكننا أيضا أن نرمز لها بـ أو "Bpq " ( ترميز Bocheński ).

تعريفعدل

جدول الحقيقةعدل

جدول الحقيقة لـ  

     
T T T
T F T
F T F
F F T

التكافؤات المنطقيةعدل

عكس الاستلزام يكافئ منطقيا الفصل "  و  "

             
             

الخصائصعدل

الحفاظ على الحقيقة : التفسير الذي يتم بموجبه تعيين جميع متغيرات قيمة الحقيقة لـ"صحيح" ينتج عنه قيمة الحقيقة لـ "صحيح" كنتيجة لعكس الاستلزام.

الترميزعدل

← ، ⇐

انظر أيضاعدل

المراجععدل

  1. ^ "معلومات عن عكس استلزام على موقع academic.microsoft.com". academic.microsoft.com. مؤرشف من الأصل في 7 أبريل 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)
 
هذه بذرة مقالة عن المنطق بحاجة للتوسيع. شارك في تحريرها.