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

חוסר תשומת לב למקומם של ה[[כמת]]ים היא בין ה[[כשל לוגי|שגיאות הלוגיות]] השכיחות. למשל, אם הטענה A תלויה ב[[משתנה חופשי (לוגיקה)|משתנה חופשי]] x, והטענה B אינה תלויה במשתנים, אז הטענה "B מתקיימת אם ורק אם לכל x מתקיים (A(x" שונה בתכלית מן הטענה "לכל x,{{כ}} B מתקיימת אם ורק אם (A(x". אם B נכונה, אז בשני המקרים (A(x נכונה לכל x; אך אם B אינה נכונה, אז הטענה הראשונה קובעת שקיים x שעבורו (A(x אינה מתקיימת, ואילו לפי הטענה השניה (A(x אינה מתקיימת לאף x.

 

* a גדול ממש מ־b '''אם ורק אם''' a לא שווה b וגם a לא קטן ממש מ־b.

* אדם א' לחץ יד לאדם ב' '''אם ורק אם''' אדם ב' לחץ יד לאדם א', שהרי [[לחיצת יד|לחיצת ידיים]] היא פעולה הדדית: אי אפשר ללחוץ יד באופן חד־צדדי.