عكس استلزام

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

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

مخطط فين لـ ${\displaystyle A\leftarrow B}$ (تظهر المنطقة البيضاء حيث يكون البيان خاطئًا)

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