מבוא למתמטיקה אוניברסיטאית/ניסוחים במתמטיקה והסבר להם: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
גיל בכר (שיחה | תרומות)
גיל בכר (שיחה | תרומות)
שורה 5:
לדוגמא: "'''לכל''' מספר טבעי n קיים מספר טבעי העוקב לו". את הביטוי "לכל n טבעי" ניתן לכתוב כ- <math>\forall n \in N</math>.
=====קיים=====
נאמר '''קיים''' ונסמן <math>\exist</math>, אם עובדה מסויימת מתרחשת עבור עצם אחד בעולם לפחות (כלומר יכולים להיות יותר מאחד). לדוגמא:
*"לכל מספר טבעי n '''קיים''' מספר טבעי העוקב לו" - כאן קיים בדיוק אחד כזה.
*"לכל מספר טבעי n '''קיים''' מספר טבעי הגדול ממנו" - כאן קיימים אינסוף מספרים כאלו.
 
=====בפרט=====
נאמר שטענה א' מתקיימת '''בפרט''' אם הוכחנו כבר טענה ב' שמכילה בתוכה את טענה א'. לדוגמא:<br />