عكس استلزام

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (يناير 2022)

  ميّز عن عكس نقيض.

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

يرمز لها بـ ${\displaystyle P\leftarrow Q}$، ولكن يمكننا أيضا أن نرمز لها بـ ${\displaystyle P\subset Q}$ أو "Bpq " (ترميز Bocheński).

جدول الحقيقة لـ ${\displaystyle P\leftarrow Q}$

${\displaystyle P}$	${\displaystyle Q}$	${\displaystyle P\leftarrow Q}$
T	T	T
T	F	T
F	T	F
F	F	T

عكس الاستلزام يكافئ منطقيا الفصل "${\displaystyle P}$ و ${\displaystyle \neg Q}$"

${\displaystyle P\leftarrow Q}$	${\displaystyle \Leftrightarrow }$	${\displaystyle P}$	${\displaystyle \lor }$	${\displaystyle \neg Q}$
	${\displaystyle \Leftrightarrow }$		${\displaystyle \lor }$

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

هذا القسم فارغ أو غير مكتمل. ساهم في توسيعه.

← ، ⇐

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

هذه بذرة مقالة عن المنطق بحاجة للتوسيع. فضلًا شارك في تحريرها.