إذا وفقط إذا
على سبيل التعريف، التطابق الاستلزامي أو إذا وفقط إذا هي وصلة منطقية ثنائية الشرط تستعمل في الرياضيات والفلسفة بين عبارتين. إن أي عبارتين ترتبطان بهذه الوصلة الثنائية تكونان بحيث أن صحة أي عبارة تتوقف على صحة العبارة الثانية، أي أن تكون العبارتان صحيحتان أو خاطئتان، أي أنها تعني «إذا» ولكن تعمل باتجاهين. وفيما يلي تفاصيل أوسع عن ذلك.
يرمز لها عادة بالترميز iff.
وفي السياق ذاته، و تستتلزم لتحققها تحقق الطرفين معا أو إنفائهما معا اى ان كلا الطرفين ملزمان بعضهما بعضا.
يعبر عنها بالبوابة المنطقية XNOR
الاستخدام
في هذا الإطار، سيأكل أحمد التفاحة إذا وفقط إذا كانت ناضجة (أي إذا كانت التفاحة ناضجة فإن أحمد سيأكلها، وإذا كان أحمد يأكل التفاحة فإنها ستكون ناضجة حتماً).
- تستعمل الرموز "↔", "⇔"، "≡", وأحياناً "iff" للتعبير عن عبارة إذا وفقط إذا.
- الفرق بين إذا، وفقط إذا، وإذا وفقط إذا
- أمثلة:
- سيأكل أحمد التفاحة إذا كانت ناضجة (أي إن كانت التفاحة ناضجة سيأكلها أحمد)
ومن ناحية أخرى، سيأكل أحمد التفاحة فقط إذا كانت ناضجة (أي إذا كان أحمد يأكل التفاحة فإنها حتماً ستكون ناضجة)
تعريف
وعلى صعيد آخر، تكافئ العبارة ما ينتج عن بوابة فصل إقصائي منفي وتعاكس ما ينتج عن بوابة الفصل الإقصائي.
يكتب جدول الحقيقة لعبارة إذا وفقط إذا P Q كما يأتي:
📝 هل في هذه المقالة خطأ؟
إذا وجدت معلومة تحتاج تصحيحاً أو إضافة، أو أردت حذف المقالة، أرسل لنا طلباً وسنراجعه.
ما رأيك في هذه المقالة؟