![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/4/47/Venn1001.svg/langar-640px-Venn1001.svg.png&w=640&q=50)
تكافؤ منطقي
من ويكيبيديا، الموسوعة encyclopedia
التكافؤ المنطقي في علم المنطق الرياضياتي هو تكافؤ عبارتين أو افتراضين عندما يتشاركان في المحتوى أو المعنى.[1][2] فيُقال بأن عبارتين منطقيتين متكافئتان في حال كان لهما نفس القيمة الصحيحة المنطقية. لو اعتبرنا و
هما العبارتان المنطقيتان المتكافئتان، فيُرمز لها بالرمز الرياضي
،
أو
. يمكن التعبير عن التكافؤ المنطقي بالصيغة الشرطية «تكافؤ إذا وفقط إذا».
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/4/47/Venn1001.svg/320px-Venn1001.svg.png)