 |
תנאי הכרחי ומספיק
| Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית | Download this dictionary |
אם ורק אם
בלוגיקה מתמטית, אם ורק אם (ראשי תיבות: אם"ם, אנגלית: iff) או "אימוּם" (ובעברית תלמודית: אך ורק אם, או: תנאי כפול) הוא קַשָּׁר לוגי בין שתי טענות השקולות אחת לשנייה במובן שהאחת אמיתית כשהשנייה אמיתית ולהפך. באופן פורמלי זהו קשר בינארי (פונקציה בעלת שני ארגומנטים שכל אחד מהם הוא פסוק) המוגדר בטבלת אמת להלן. סימונו הוא ⇔ (יש המסמנים ↔ או ≡).
כאשר מנסחים תנאים פורמליים במתמטיקה נעשה שימוש בקשר זה כדי להראות שאם תנאי אחד מתקיים, גם השני מתקיים בהכרח (ובאותה המידה אם תנאי אחד אינו מתקיים, גם השני בהכרח אינו מתקיים). בניסוח אחר, אומרים על תנאי A שהוא "הכרחי ומספיק" עבור תנאי B כאשר יש ביניהם קשר של אם ורק אם. (הכרחי - אם A לא מתקיים, B לא מתקיים. מספיק - אם A מתקיים, B מתקיים).
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
