اكتشاف قوة تكافؤ منطقي

التكافؤ المنطقي في علم المنطق الرياضياتي هو تكافؤ عبارتين أو افتراضين عندما يتشاركان في المحتوى أو المعنى. فيُقال بأن عبارتين منطقيتين متكافئتان في حال كان لهما نفس القيمة الصحيحة المنطقية. لو اعتبرنا







p





{\displaystyle p}



و







q





{\displaystyle q}



هما العبارتان المنطقيتان المتكافئتان، فيُرمز لها بالرمز الرياضي







p

≡

q





{\displaystyle p\equiv q}



،











E





p

q





{\displaystyle {\textsf {E}}pq}



أو







p



⟺



q





{\displaystyle p\iff q}



. يمكن التعبير عن التكافؤ المنطقي بالصيغة الشرطية «تكافؤ إذا وفقط إذا».