فهم حقيقة معكوس الاقتضاء

عكس الاستلزام (بالإنجليزية: Converse Implication) هو عكس الاستلزام المنطقي، ويكتب ←. ذلك بالقول؛ ان أي اثنين من القضايا







P





{\displaystyle P}



و







Q





{\displaystyle Q}



، إذا كان







Q





{\displaystyle Q}



يستلزم







P





{\displaystyle P}



، فإن







P





{\displaystyle P}



هو عكس الاستلزام لـ







Q





{\displaystyle Q}



.

يرمز لها بـ







P

←

Q





{\displaystyle P\leftarrow Q}



، ولكن يمكننا أيضا أن نرمز لها بـ







P

⊂

Q





{\displaystyle P\subset Q}



أو "Bpq " (ترميز Bocheński).