
_START_ARTICLE_
تكافؤ منطقي
_START_PARAGRAPH_
التكافؤ المنطقي في علم المنطق الرياضياتي هو تكافؤ عبارتين أو افتراضين عندما يتشاركان في المحتوى أو المعنى. فيُقال بأن عبارتان منطقيتان متكافئتان في حال كان لهما نفس القيمة الصحيحة المنطقية. لو اعتبرنا  و  هما العبارتان المنطقيتان المتكافئتان، فيُرمز لها بالرمز الرياضي , , أو . كما يختلف التكافؤ المنطقي عن نظيره الشرطي "تكافؤ إذا وفقط إذا".