إذا وفقط إذا
⇔
≡
التي تمثل إذا وفقط إذا.
إذا وفقط إذا هي وصلة منطقية ثنائية الشرط تستخدم في الرياضيات والفلسفة بين عبارتين. إذا أي عبارتين ترتبطان بهذه الوصلة الثنائية تكونان بحيث حتى صحة أي تعبير تتوقف على صحة العبارة الثانية، أي حتى تكون العبارتان سليمتان أوخاطئتان، أي أنها تعني "إذا" ولكن تعمل باتجاهين.
يرمز لها عادة بالترميز iff.
تعريف
يعطى جدول الحقيقة لعملية إذا وفقط إذا على الشكل التالي:
p | q |
p ↔ q
|
---|---|---|
T | T | T |
T | F | F |
F | T | F |
F | F | T |
الاستخدام
تستخدم الرموز "↔", "⇔"، "≡", وأحياناً "iff" للتعبير عن تعبير إذا وفقط إذا.
الفرق بين إذا، وفقط إذا، وإذا وفقط إذا
أمثلة:
- سيأكل أحمد التفاحة إذا كانت ناضجة (أي إذا كانت التفاحة ناضجة سيأكلها أحمد)
- سيأكل أحمد التفاحة فقط إذا كانت ناضجة (أي إذا كان أحمد يأكل التفاحة فإنها حتماً ستكون ناضجة)
- سيأكل أحمد التفاحة إذا وفقط إذا كانت ناضجة (أي إذا كانت التفاحة ناضجة فإن أحمد سيأكلها، وإذا كان أحمد يأكل التفاحة فإنها ستكون ناضجة حتماً).