إذا وفقط إذا

التطابق الاستلزامي أو إذا وفقط إذا هي وصلة منطقية ثنائية الشرط تستخدم في الرياضيات والفلسفة بين عبارتين. إن أي عبارتين ترتبطان بهذه الوصلة الثنائية تكونان بحيث أن صحة أي عبارة تتوقف على صحة العبارة الثانية، أي أن تكون العبارتان صحيحتان أو خاطئتان، أي أنها تعني «إذا» ولكن تعمل باتجاهين.

يرمز لها عادة بالترميز iff.

و تستتلزم لتحققها تحقق الطرفين معا أو إنفائهما معا اى ان كلا الطرفين ملزمان بعضهما بعضا.

يعبر عنها بالبوابة المنطقية XNOR

يعطى جدول الحقيقة لعملية إذا وفقط إذا على الشكل التالي:

تستخدم الرموز "↔", "⇔"، "≡", وأحياناً "iff" للتعبير عن عبارة إذا وفقط إذا.

أمثلة:

هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. فضلًا شارك في تحريرها.