אנחנו עובדים על שחזור אפליקציית Unionpedia ב-Google Play Store
יוֹצֵאנִכנָס
🌟פישטנו את העיצוב שלנו לניווט טוב יותר!
Instagram Facebook X LinkedIn

אם ורק אם

מַדָד אם ורק אם

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

תוכן עניינים

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

  2. מושגים במתמטיקה
  3. קשרים לוגיים

משפט פיתגורס

350px לוח חרס שמקורו בבבל, המתוארך בין השנים 2003–1595 לפנה"ס. בלוח, הכתוב בכתב יתדות, הוכחה מתמטית הדומה למשפט פיתגורס. שלשות פיתגוריות. משפט פיתגורס הוא משפט מפורסם בגאומטריה, המתאר את היחס בין שלוש צלעותיו של משולש ישר-זווית.

לִרְאוֹת אם ורק אם ומשפט פיתגורס

משולש

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

לִרְאוֹת אם ורק אם ומשולש

משולש ישר-זווית

משולש ישר-זווית משולש יְשַׁר-זווית הוא משולש בעל זווית ישרה.

לִרְאוֹת אם ורק אם ומשולש ישר-זווית

מתמטיקה

שיעור באלגברה ליניארית באוניברסיטת הלסינקי ילדות פותרות תרגיל במתמטיקה מָתֵמָטִיקָה היא תחום דעת העוסק במושגים כגון כמות, מבנה, מרחב ושינוי.

לִרְאוֹת אם ורק אם ומתמטיקה

אם-אז

אם-אז או קַשָּׁר הגרירה או אימפליקציה מטריאלית הוא קשר לוגי בלוגיקה מתמטית, שמסומן באמצעות \to.

לִרְאוֹת אם ורק אם ואם-אז

אסוציאטיביות

#הפניה פעולה אסוציאטיבית.

לִרְאוֹת אם ורק אם ואסוציאטיביות

ארגומנט של פונקציה

במתמטיקה, אַרְגּוּמֶנְט של פונקציה הוא הערך שניתן לה כדי לקבל את תוצאת הפונקציה עבורו.

לִרְאוֹת אם ורק אם וארגומנט של פונקציה

או (לוגיקה)

בלוגיקה מתמטית, אוֹ או דִּיסְיוּנְקְצְיָה הוא קשר לוגי בינארי, המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית של ערך אמת, כאשר לפחות אחד משני המרכיבים אמיתי.

לִרְאוֹת אם ורק אם ואו (לוגיקה)

סימון מתמטי

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

לִרְאוֹת אם ורק אם וסימון מתמטי

עץ (תורת הגרפים)

בעץ שבתמונה יש 6 צמתים, ולכן 5.

לִרְאוֹת אם ורק אם ועץ (תורת הגרפים)

פסוק (לוגיקה מתמטית)

#הפניה פסוק (לוגיקה).

לִרְאוֹת אם ורק אם ופסוק (לוגיקה מתמטית)

קשר לוגי

קַשָּׁר לוגי הוא פונקציה המייצרת מקבוצה של פסוקים לוגיים, או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה.

לִרְאוֹת אם ורק אם וקשר לוגי

קומוטטיביות

#הפניה פעולה קומוטטיבית.

לִרְאוֹת אם ורק אם וקומוטטיביות

רמזור

טקסט.

לִרְאוֹת אם ורק אם ורמזור

ראשי תיבות

International Research Association for Talent Development and Excellence ראשי תיבות (ר"ת; מכונה לעיתים בלשון חז"ל גם: נוטריקון - מלטינית: "לכתוב", "לסמן באותיות") הם טכניקה של כתיב מקוצר שבה נכתב ביטוי נפוץ רק באמצעות האות הראשונה של כל מילה המרכיבה אותו.

לִרְאוֹת אם ורק אם וראשי תיבות

ריבוע

220px בנייה של ריבוע באמצעות סרגל ומחוגה בגאומטריה, ריבוע הוא מרובע משוכלל.

לִרְאוֹת אם ורק אם וריבוע

שמיטת קרקעות

ביהדות, שמיטת קרקעות היא מצווה מן המצוות התלויות בארץ שחלה בכל שנה שביעית, המכונה שנת שמיטה.

לִרְאוֹת אם ורק אם ושמיטת קרקעות

שמיטת כספים

שמיטת כספים היא מצווה מהתורה האוסרת על המלווה לגבות חובות שהגיע מועד פירעונם אך לא נפרעו עד סוף שנת השמיטה.

לִרְאוֹת אם ורק אם ושמיטת כספים

שקילות (לוגיקה)

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

לִרְאוֹת אם ורק אם ושקילות (לוגיקה)

שטח

שטח של משולש שווה לגובה (מסומן בורוד) כפול הבסיס (אדום) חלקי 2. שטח הוא גודל של תחום מישורי.

לִרְאוֹת אם ורק אם ושטח

תנאי מספיק

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

לִרְאוֹת אם ורק אם ותנאי מספיק

תנאי הכרחי

תנאי הכרחי (באנגלית '''Necessity conditions''', וגם '''Necessary condition''') הוא מונח מתחום הלוגיקה, המביע תנאי הדרוש לקיום הטענה, שבלעדיו הטענה לא מתקיימת.

לִרְאוֹת אם ורק אם ותנאי הכרחי

לא (לוגיקה)

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

לִרְאוֹת אם ורק אם ולא (לוגיקה)

לשון חז"ל

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

לִרְאוֹת אם ורק אם ולשון חז"ל

לחיצת יד

לחיצת יד Marduk-zakir-shumi I (משמאל) לאות אמון ואחווה, המאה ה-9 לפנה"ס; מתבליטי בימת הכס שנמצאו בחפירות כלח, אוסף המוזיאון הלאומי של עיראק לחיצת יד ימין תוך כדי העברת מסמך ביד שמאל לחיצת יד בין חוסיין, מלך ירדן לבין יצחק רבין, ובתווך ביל קלינטון, לאחר חתימת הסכם השלום בין ישראל לירדן, 26 באוקטובר 1994 לחיצת יד (או לחיצת ידיים, בספרות התורנית היהודית היא מכונה "תקיעת כף") היא מחווה גופנית שבה שני אנשים אוחזים אחד בידו של השני.

לִרְאוֹת אם ורק אם ולחיצת יד

לוגיקה מתמטית

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

לִרְאוֹת אם ורק אם ולוגיקה מתמטית

טבלת אמת

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

לִרְאוֹת אם ורק אם וטבלת אמת

גרף (תורת הגרפים)

גרף לא מכוון בעל 6 קודקודים ו-7 קשתות גרף מכוון בעל 4 קודקודים ו-5 קשתות בתורת הגרפים, גרף הוא ייצוג מופשט של קבוצה של אובייקטים, כאשר כל זוג אובייקטים בקבוצה עשויים להיות מקושרים זה לזה.

לִרְאוֹת אם ורק אם וגרף (תורת הגרפים)

הוכחה

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

לִרְאוֹת אם ורק אם והוכחה

וגם

#הפניה וגם (לוגיקה).

לִרְאוֹת אם ורק אם ווגם

וולפרם אלפא

וולפרַם אַלפַא (באנגלית: Wolfram Alpha) הוא מנוע חיפוש חישובי, שפותח על ידי מעבדות וולפרם והושק במאי 2009.

לִרְאוֹת אם ורק אם ווולפרם אלפא

כמת

100px בלוגיקה, כַּמָּת הוא סמל המציין את התחולה של המשתנה הצמוד לו.

לִרְאוֹת אם ורק אם וכמת

כשל לוגי

כשל לוגי הוא שגיאה בתהליך הסקת מסקנות מטיעון לוגי כאשר אמיתותה של המסקנה אינה תלויה בנכונותן של ההנחות שהיא מבוססת עליהן.

לִרְאוֹת אם ורק אם וכשל לוגי

ראה גם

מושגים במתמטיקה

קשרים לוגיים

אזכור

[1] https://he.wikipedia.org/wiki/אם_ורק_אם

ידוע גם בשם אם"ם, תנאי הכרחי ומספיק.