ما هي رابطة التكافؤ الاشتراط المزدوج وشروط صدقها

رابطة التكافؤ (إذا وفقط إذا) هي أداة ربط منطقية تربط بين قضيتين. تكون العبارة صادقة فقط إذا تطابقت قيمتا صدق القضيتين (كلاهما صادق أو كلاهما كاذب)، وتكون كاذبة إذا اختلفت قيمتا صدقهما. رمزها الرياضي هو (↔).