אם ורק אם

אם ורק אם (ראשי תיבות: אמ"ם, ) או "אימוּם" (בלשון חז"ל: תנאי כפול, וסימונו בלוגיקה פורמלית: <math>\Leftrightarrow</math>, <math>\leftrightarrow</math> או ≡) בתחום הלוגיקה המתמטית הוא קַשָּׁר לוגי בין שתי טענות השקולות זו לזו במובן שכל אחת אמיתית כשהשנייה אמיתית, אך אם אחת אינה אמיתית גם השנייה שגויה. בניסוח של הלוגיקה הפורמלית זהו קשר של תנאי הכרחי ומספיק.

לדוגמה: תקנות התנועה קובעות שעל הַרַכֶּבֶת להתקדם ולעבור אם, ורק אם הרמזור ירוק:
* אם הרמזור ירוק יש לעבור ולא לעצור.
* יש לעבור רק כשהרמזור ירוק, ולא כשהוא אדום (או אינו פועל).
ומנגד:
* אם הרמזור אינו ירוק – אין לעבור ויש לעצור.
* רק כאשר הרמזור אינו ירוק – אין לעבור. אילו היה ירוק, ההוראה הייתה אחרת: שיש לעבור.

באופן פורמלי זוהי פעולה בינארית (כלומר פעולה המוגדרת על שני ערכים, או פונקציה בעלת שני ארגומנטים) על שני פסוקים לוגיים. טבלת האמת שלהלן מגדירה את תוצאות הפעולה בהינתן ערכי הארגומנטים. סימונה הוא ⇔ (יש המסמנים ↔ או ≡).

טבלת אמת:

{| border="1" cellpadding="5" align="center" style="text-align:center;" summary="אמת כששני הארגומנטים שווים, אחרת שקר"
|-
!<math>A</math>!!<math>B</math>!!<math>A\iff B</math>
|-
|| שקר || שקר || אמת
|-
|| שקר || אמת || שקר
|-
|| אמת || שקר || שקר
|-
|| אמת || אמת || אמת
|}

בכתיבת תנאים פורמליים במתמטיקה קשר זה מביע התניה הדדית מלאה, כך שאם תנאי אחד מתקיים, בהכרח גם השני מתקיים, ואם השני מתקיים כך גם הראשון, ובאותה המידה אם תנאי אחד אינו מתקיים, גם השני בהכרח אינו מתקיים, ואם התנאי השני אינו מתקיים כך גם הראשון אינו.

ובניסוח פורמלי: תנאי A הוא "הכרחי ומספיק" עבור תנאי B, כאשר יש ביניהם קשר של אם ורק אם (הכרחי כי אם A לא מתקיים הרי שגם B לא מתקיים; ומספיק כי אם A מתקיים הרי שגם B מתקיים).

לדוגמה: נפוליאון רצה להתקיף את יפו מהיבשה, כאשר אוניותיו ירעישו בתותחים מן הים. אך ההרעשה לא קרתה. במשפט רב החובל טען שיש לו עשרה תירוצים מדוע לא ירה. "ראשית, לא הייתה לנו תחמושת." אמר. מספיק! קרא נפוליאון.
::(ד) הרעשת תותחים. תלויה בכך שיש: (א) תחמושת, (ב) טווח ירי, (ג) תותחן בריא.
::תנאים הכרחיים: כדי שהאוניה תרעיש בתותחיה את יפו, צריך תחמושת, צריך טווח ירי, וצריך תותחן בריא. בלי אחד מאלה אין הרעשה.
::אבל כל אחד לעצמו אינו מספיק. צריך את שלושלתם.

::תנאים מספיקים: כדי שתתקיים הרעשת התותחים, מספיק שאחת משתי האוניות, (א) הסאן-מרי-לה-פן או (ב) לה-פו-א-גרה, תירה מתותחיה. אין צורך בשתיהן.
::אם אחת האוניות תירה, תהיה זו הרעשת התותחים הדרושה. איך אין זה הכרחי שדווקא (א) תירה, או שדווקא (ב) תירה.
::כל אחת מהן מספיקה. אך לא כל אחת מהן הכרחית.

::תנאי הכרחי ומספיק: כשיש טווח ותחמושת, עדיין כדי שתהיה הרעשה צריך תותחן בריא. יש את א. פרנסואז (חולה בקדחת) ב. ז'ורז'-פייר (חולה בשחפת) ג. מריאן (מקיאה את הנשמה)
::מספיק אחד מהם בריא – כדי שתהיה ההרעשה. למשל, אם ז'ורז' פייר בריא – יירו בתותח.
::הכרחי אחד מהם בריא – אם לא יהיה תותחן בריא, וכל התותחנים חולים – לא יירו בתותח.

::אמ"ם: תהיה הרעשה אך ורק אם יהיה תותחן בריא.

== מאפיינים ==
הקשר 'אם ורק אם' הוא חלופי – קומוטטיבי, וקיבוצי – אסוציאטיבי.

::חילופיות – קומוטטיביות: הטענה <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 אם ורק אם B", בעזרת צורת הוכחות אם-אז של שני המשפטים הבאים:
* אם A אז B
* אם B אז A

=== הוכחה בדרך או-וגם ===
שיטה נוספת להוכיח משפט מסוג זה היא להראות שהפסוק ((A וגם B) או (לא A וגם לא B)) מתקיים.

ובניסוח פורמלי:
::<math>\left(\left(A \land B \right) \lor \left(\bar A \land \bar B \right) \right)</math>.

=== מקום הכמת – מקור לשגיאה נפוצה ===
חוסר תשומת לב למקומם של הכמתים היא בין השגיאות הלוגיות השכיחות בעת הוכחה פורמלית. למשל, אם הטענה A תלויה במשתנה חופשי x, והטענה B אינה תלויה במשתנים, אז הטענה:
::B מתקיים אם ורק אם לכל x מתקיים (A(x
שונה בתכלית מן הטענה:
::לכל x, B מתקיים אם ורק אם (A(x.

אם B נכון, אז בשני המקרים לכל x גם (A(x נכון.

אך אם B אינו נכון, אזי הטענה הראשונה קובעת שקיים x כלשהו שעבורו (A(x אינו מתקיים אך שמא קיים x שעבורו A(x) אכן מתקיים, ואילו לפי הטענה השנייה (A(x אינו מתקיים לכל x שהוא.

== דוגמאות נוספות ==
דוגמאות נוספות למשפטי "אם ורק אם" מתחומים מתמטיים שונים הם:
* a גדול ממש מ־b אם ורק אם a לא שווה b וגם a לא קטן ממש מ־b.
* אדם א' לחץ יד לאדם ב' אם ורק אם אדם ב' לחץ יד לאדם א', שהרי לחיצת ידיים היא פעולה הדדית: אי אפשר ללחוץ יד באופן חד־צדדי.
* משולש הוא משולש ישר-זווית אם ורק אם סכום שטחי הריבועים שעל שתיים מצלעותיו שווה לשטח ריבוע שעל הצלע השלישית (משפט פיתגורס).
* גרף בלתי־מכוון הוא עץ אם ורק אם הוא קשיר וחסר־מעגלים אם ורק אם הוא קשיר מינימלי (הסרת קשת כלשהי מהגרף תבטל את קשירותו) אם ורק אם הוא חסר־מעגלים מקסימלי (הוספה של קשת כלשהי לגרף תיצור מעגל). זוהי שרשרת של טענות.

== תנאי הכרחי ומספיק – הרחבה ==
במקום להשתמש בביטוי "אם ורק אם", משתמשים לעיתים בביטוי שמשמעותו שקולה "תנאי הכרחי ומספיק". המשפט "a גדול ממש מ-b אם ורק אם a לא שווה b וגם a לא קטן ממש מ־b" שקול למשפט "תנאי הכרחי ומספיק לכך ש-a גדול ממש מ-b הוא ש-a לא שווה b וגם a לא קטן ממש מ־b". אם נפרק את שני הביטויים למרכיביהם הרי המילה "אם" שקולה ל"תנאי מספיק", והמילים "רק אם" שקולות ל"תנאי הכרחי".

דוגמה להצגה לא-מתמטית של תנאי הכרחי ומספיק מופיעה בדיון התלמודי בשמיטת קרקעות ושמיטת כספים, שבו נאמר:

המחצית הראשונה של המשפט מציגה תנאי מספיק לשמיטת כספים, והוא שמיטת קרקע. המחצית השנייה של המשפט קובעת שזהו גם תנאי הכרחי.

== ראו גם ==
* תנאי הכרחי
* תנאי מספיק

== קישורים חיצוניים ==

*[http://www.wolframalpha.com/input/?i=p+%3C%3D%3E+q p <=> q] באתר וולפרם אלפא.
* 

==הערות שוליים==

קטגוריה:לוגיקה מתמטית
קטגוריה:מושגים במתמטיקה
קטגוריה:קשרים לוגיים