إذا وفقط إذا
⇔
≡
التي تمثل إذا وفقط إذا.
إذا وفقط إذا هي وصلة منطقية ثنائية الشرط تستخدم في الرياضيات والفلسفة بين عبارتين. إن أي عبارتين ترتبطان بهذه الوصلة الثنائية تكونان بحيث أن صحة أي عبارة تتوقف على صحة العبارة الثانية، أي أن تكون العبارتان صحيحتان أو خاطئتان، أي أنها تعني "إذا" ولكن تعمل باتجاهين.
يرمز لها عادة بالترميز iff.
تعريف
يعطى جدول الحقيقة لعملية إذا وفقط إذا على الشكل التالي:
| p | q | p ↔ q
|
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
الاستخدام
تستخدم الرموز "↔", "⇔"، "≡", وأحياناً "iff" للتعبير عن عبارة إذا وفقط إذا.
الفرق بين إذا، و فقط إذا، و إذا وفقط إذا
أمثلة:
- سيأكل أحمد التفاحة إذا كانت ناضجة (أي إن كانت التفاحة ناضجة سيأكلها أحمد)
- سيأكل أحمد التفاحة فقط إذا كانت ناضجة (أي إذا كان أحمد يأكل التفاحة فإنها حتماً ستكون ناضجة)
- سيأكل أحمد التفاحة إذا وفقط إذا كانت ناضجة (أي إذا كانت التفاحة ناضجة فإن أحمد سيأكلها، وإذا كان أحمد يأكل التفاحة فإنها ستكون ناضجة حتماً).
| ملف:Nuvola apps edu mathematics-ar.svg | بوابة رياضيات تصفح مقالات ويكيبيديا المهتمة بالرياضيات. |
bg:Тогава и само тогава, когато ca:Si i només si da:Biimplikation de:Logische Äquivalenz el:Αν και μόνο αν If and only if]] eo:S.n.s. es:Bicondicional et:Parajasti siis, kui fa:اگر و فقط اگر fi:Jos ja vain jos fr:Équivalence logique he:אם ורק אם hr:Akko hu:Bikondicionális is:Eff it:Se e solo se ja:同値 lmo:Si e noma si lt:Tada ir tik tada (teiginys) mk:Ако и само ако nl:Dan en slechts dan als no:Om og bare om pl:Równoważność pt:Se e somente se ru:Тогда и только тогда simple:If and only if sr:Акко sv:Om och endast om tr:Ancak ve ancak uk:Тоді і лише тоді ur:اگر بشرط اگر vi:Tương đương logic zh:当且仅当
