אם ורק אם – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ שוחזר מעריכות של 85.65.12.236 (שיחה) לעריכה האחרונה של שדדשכ |
|||
שורה 1:
ב[[לוגיקה מתמטית]], '''אם ורק אם''' ([[ראשי תיבות]]: אמ"ם, [[אנגלית]]: iff) או "אימוּם" הוא [[קשר לוגי|קַשָּׁר לוגי]] בין שתי טענות ה[[שקילות (לוגיקה)|שקולות]] אחת לשנייה במובן שהאחת אמיתית כשהשנייה אמיתית ולהיפך. באופן פורמלי זהו קשר בינארי (פונקציה בעלת שני [[ארגומנט]]ים שכל אחד מהם הוא [[פסוק (לוגיקה מתמטית)|פסוק]]) המוגדר בטבלת אמת להלן. [[סימון מתמטי|סימונו]] הוא ⇔ (יש המסמנים ↔ או ≡).
כאשר מנסחים תנאים פורמליים ב[[מתמטיקה]] נעשה שימוש בקשר זה כדי להראות שאם תנאי אחד מתקיים, גם השני מתקיים בהכרח (ובאותה המידה אם תנאי אחד אינו מתקיים, גם השני בהכרח אינו מתקיים). בניסוח אחר, אומרים על תנאי A שהוא "[[תנאי הכרחי|הכרחי]] ו[[תנאי מספיק|מספיק]]" עבור תנאי B כאשר יש ביניהם קשר של '''אם ורק אם'''. (הכרחי - אם A לא מתקיים, B לא מתקיים. מספיק - אם A מתקיים, B מתקיים).
| |||