عكس استلزام

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

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

تعريف

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

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

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

الترميز 

← ، ⇐

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

المراجع 

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