03/09/2024
כשתתחילו ללמוד מתמטיקה באקדמיה יפלו עליכם כבר בשבוע הראשון עשרות סימנים חדשים שתצטרכו ללמוד בזמן קצר. ותצטרכו לא רק לזהות את הסימן ולהכירו, אלא גם לדעת מתי ואיך להשתמש בו. כשזה עם סימן אחד מילא, אבל כשצריך לעשות את זה עם עשרות – זו יכולה להיות חוויה מאוד מטלטלת.
לכן אני כאן כדי לפרוס בפניכם את הסימנים שתיתקלו בהם, אחד-אחד.
הפעם נדבר על סימן הקיים - ∃. הוא אח של סימן אחר שדיברנו כבר – סימן הלכל ויש ביניהם קשר לוגי רציני.
אנחנו משתמשים בקיים (לפעמים גם אומרים יש) כדי לטעון טענת קיום. לדוגמא, "יש איש ירוק על מאדים". או לחילופין:
∃x.x+3=5
נקרא זאת כך:
קיים x כך ש (את הנקודה אנחנו קוראים כ-"כך ש"), אז שוב –
קיים x כך ש-x+3=5
בשלב מתקדם יותר גם נרצה לומר עוד בנוגע ל-x – איזה סוג של מספר הוא: טבעי, שלם, שלם שלילי וכו' וכו', וכל קביעה כזאת תשנה האם הטענה אמיתית או שקרית. לדוגמא, אם היינו אומרים שישנו x שהוא מספר שלם שלילי כך ש-x+3=5 – הטענה הזו היתה שקרית.
בפוסט קודם דיברתי על סימן הלכל - ∀. יש בין הלכל לקיים קשר לוגי רציני.
יש עוד הרבה מה ללמוד ביחס לכך, אך זה לא יכול להתמצות בפוסט באינסטגרם. יש לי כ-50 שיעורים בקורס ההכנה שעוסקים בלכל וקיים. ואם עוד לא התחלתם להתכונן – אני ממליץ לכם להתחיל כבר מעכשיו.
הלינק לקורס בתגובה הראשונה
#הכנהלשנהא #מדעיהמחשב #הנדסה #מדעיםמדוייקים #לימודיםאקדמיים
