معكوس الاقتضاء

عكس الاستلزام  هو عكس الاستلزام المنطقي، ويكتب ←. ذلك بالقول؛ ان أي اثنين من القضايا  و، إذا كان  يستلزم ، فإن  هو عكس الاستلزام لـ  .

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

 تعريف 

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

 التكافؤات المنطقية 
عكس الاستلزام يكافئ منطقيا الفصل " و "
    50x50بك    50x50بك50x50بك

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

 الترميز 

← ، ⇐

 انظر أيضًا 
 الرابطة المنطقية
 القضية الشرطية
 الاستتباع المنطقي

 المراجع 

تصنيف:حساب القضايا
تصنيف:عمليات ثنائية