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

معكوس الاقتضاء (أو العكس المنطقي) (بالإنجليزية: Converse) في المنطق والرياضيات، هو ناتج تبديل المكونين الرئيسين لعبارة شرطية أو فئة منطقية. ففي حالة الاستلزام المنطقي الذي يتخذ الصيغة «إذا كان







P





{\displaystyle P}



فإن







Q





{\displaystyle Q}



» (وتُكتب رياضيًا:







P

→

Q





{\displaystyle P\to Q}



)، يكون المعكوس هو «إذا كان







Q





{\displaystyle Q}



فإن







P





{\displaystyle P}



» (وتُكتب رياضيًا:







Q

→

P





{\displaystyle Q\to P}



).

أما في القضايا الحملية (مثل: كل S هو P)، فإن المعكوس يصبح (كل P هو S). وبشكل عام، تظل قيمة الحقيقة للمكعوس مستقلةً تمامًا عن قيمة حقيقة العبارة الأصلية؛ إذ لا يترتب على صدق الاستلزام المنطقي صدقُ معكوسه بالضرورة، وهي مغالطة صورية شهيرة تُعرف باسم «إثبات التالي».