אם ורק אם – הבדלי גרסאות

הקשר 'אם ורק אם' הוא [[קומוטטיביות|קומוטטיבי]] (חילופי), כלומר: (הטענה <math>\ A\iff B</math> שקולה לטענה <math>\ B\iff A</math>. עם זאת, הקשר אינו) ו[[אסוציאטיביות|אסוציאטיבי]] (קיבוצי), דהיינו הביטוי <math>\ (A\iff B)\iff C</math> אינואם שקולורק לביטויאם <math>\ A\iff (B\iff C)</math>). חוסר תשומת לב למקומם של ה[[כמת (לוגיקה)|כמתים]] היא בין ה[[כשל לוגי|שגיאות הלוגיות]] השכיחות. למשל, אם הטענה A תלויה ב[[משתנה חופשי (לוגיקה)|משתנה חופשי]] x, והטענה B אינה תלויה במשתנים, אז הטענה "B מתקיימת אם ורק אם לכל x מתקיים (A(x" שונה בתכלית מן הטענה "לכל x, B מתקיימת אם ורק אם (A(x". אם B נכונה, אז בשני המקרים (A(x נכונה לכל x; אך אם B אינה נכונה, אז הטענה הראשונה קובעת שקיים x שעבורו (A(x אינה מתקיימת, ואילו לפי הטענה השניה (A(x אינה מתקיימת לאף x.