افتح القائمة الرئيسية

الرموز المنطقية
التي تمثل إذا وفقط إذا.[1][2][3]

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

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

محتويات

تعريفعدل

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

Iff
p q
pq
T T T
T F F
F T T
F F T

الاستخدامعدل

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

الفرق بين إذا، و فقط إذا، و إذا وفقط إذاعدل

أمثلة:

  • سيأكل أحمد التفاحة إذا كانت ناضجة (أي إن كانت التفاحة ناضجة سيأكلها أحمد)
  • سيأكل أحمد التفاحة فقط إذا كانت ناضجة (أي إذا كان أحمد يأكل التفاحة فإنها حتماً ستكون ناضجة)
  • سيأكل أحمد التفاحة إذا وفقط إذا كانت ناضجة (أي إذا كانت التفاحة ناضجة فإن أحمد سيأكلها، وإذا كان أحمد يأكل التفاحة فإنها ستكون ناضجة حتماً).

مراجععدل

  1. ^ p <=> q. Wolfram|Alpha نسخة محفوظة 18 أكتوبر 2016 على موقع واي باك مشين.
  2. ^ Nicholas J. Higham (1998). Handbook of writing for the mathematical sciences (الطبعة 2nd). SIAM. صفحة 24. ISBN 978-0-89871-420-3. 
  3. ^ Maurer، Stephen B.؛ Ralston، Anthony (2005). Discrete Algorithmic Mathematics (الطبعة 3rd). Boca Raton, Fla.: CRC Press. صفحة 60. ISBN 1568811667. 
 
هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. شارك في تحريرها.