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

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

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

تعريف

عدل

جدول الحقيقة

عدل

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

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

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

عدل

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

             
             

الخصائص

عدل

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

الترميز

عدل

← ، ⇐

انظر أيضًا

عدل

المراجع

عدل