عكس استلزام
يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. (يناير 2022) |
عكس الاستلزام (بالإنجليزية: Converse Implication) هو عكس الاستلزام المنطقي، ويكتب ←. ذلك بالقول؛ ان أي اثنين من القضايا و، إذا كان يستلزم ، فإن هو عكس الاستلزام لـ .
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/35/Venn1101.svg/220px-Venn1101.svg.png)
يرمز لها بـ ، ولكن يمكننا أيضا أن نرمز لها بـ أو "Bpq " (ترميز Bocheński).
تعريف
جدول الحقيقة
جدول الحقيقة لـ
T | T | T |
T | F | T |
F | T | F |
F | F | T |
التكافؤات المنطقية
عكس الاستلزام يكافئ منطقيا الفصل " و "
الخصائص
الحفاظ على الحقيقة : التفسير الذي يتم بموجبه تعيين جميع متغيرات قيمة الحقيقة لـ«صحيح» ينتج عنه قيمة الحقيقة لـ «صحيح» كنتيجة لعكس الاستلزام.
الترميز
هذا القسم فارغ أو غير مكتمل. ساهم في توسيعه. |
← ، ⇐
انظر أيضا
المراجع
عكس استلزام في المشاريع الشقيقة: | |