הבדלים בין גרסאות בדף "תרגול 2 תשעז"

גרסה מ־10:53, 18 באוקטובר 2017

תוכן עניינים

1 כמתים ופרדיקטים
- 1.1 פרדיקטים
- 1.2 כמתים
2 שלילת פסוקים

כמתים ופרדיקטים

פרדיקטים

בניגוד לאטומים שהם ללא משתנים הפרדיקטים הינם פונקציות התלויות במשתנים. לדוגמא ניתן להגדיר את הפרדיקט $S(x)$ להיות x הינו סטודנט באוניברסיטה.

גם אטומים וגם פרדיקטים יכולים להיות אמיתיים (מסמנים 1 או T) או שקריים (מסמנים 0 או F). המינוח המקובל הוא שאטום/פרדיקט הוא בעל ערך אמת T (במידה שהוא נכון) או בעל ערך אמת F (במידה שאינו נכון).

כיוון שאטומים הם ללא משתנים הם יכולים להיות T או F אבל לא שניהם. לעומתם, פרדיקטים הם תלויים במשתנים ולכן ערך האמת שלהם יקבע לפי ההצבה במשתנים. למשל הפרדיקט $S(x,y)=x<y$ יהיה נכון במקרה ש $S(2,3)$ ולא נכון במקרה ש $S(3,2)$

כמתים

בנוסף, לקשרים ניתן להוסיף כמתים.

הכמת "לכל" $\forall$ והכמת "קיים" $\exist$

תפקיד מרכזי של הכמת הוא להבהיר את כוונת הטענה. למשל הטענה ש "סטונדט הוא יצור חרוץ" יכולה לקבל 2 משמעויות בעזרת הכמתים. או "כל סטודנט הוא יצור חרוץ" או "קיים סטודנט שהוא יצור חרוץ".

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

לעומתה הטענה השניה טוענת שניתן למצוא סטודנט אחד (לפחות) שהוא חרוץ (אם רוצים להוכיח את הטענה צריך למצוא סטודנט שהוא חרוץ ואם רוצים להוכיח כי הטענה לא נכונה צריך לעבור בין כל הסטודנטים ולוודא שהם אינם חרוצים).

תרגיל: הצרן: לכל מספר p גדול מ-1: (p ראשוני) אמ"מ (אם הוא מחלק מכפלת מספרים אז הוא מחלק את אחד המספרים).

פתרון: ההצרנה $\forall p >1 : (P(p)\iff Q(p))$ כאשר

$P(x)$ הוא הפרדיקט "x" הוא ראשוני.
$Q(x)$ הוא הפרדיקט $\forall a,b : p|ab \Rightarrow (p|a \lor p|b)$

הערה: שמות המשתנים אינם חשובים למשל עבור הפרדיק $S(x,y)$ המוגדר $x\leq y$ הפסוק $\forall x\forall y S(x,y)$ הוא זהה לפסוק $\forall t\forall s S(t,s)$

הערה: סדר הכמתים כן משנה (לפעמים) למשל $\exist x\forall y S(x,y)$ לא שקול לפסוק $\forall y \exist x S(x,y)$ . דוגמא: הצרן את המשפט "לכל מספר טבעי יש מספר טבעי הגדול ממנו" פתרון: $\forall n\in\mathbb{N}\,\exists m\in\mathbb{N}:n<m$ לעומת זאת $\exists m\in\mathbb{N}\,\forall n\in\mathbb{N}:n<m$ פירושו שקיים מספר טבעי שגדול מכל המספרים הטבעיים.

נשים לב כי בשביל לקבוע אם הפסוק $\forall x P(x)$ אנחנו צריכים לדעת איזה x ים "חוקיים" (בהנחה שאנחנו יודעים את P).

שלילת פסוקים

מהי השלילה של הפסוק "לכל סיר יש מכסה המתאים לו", או "לכל מאכל, יש מישהו שמכין אותו טעים"?

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

לדוגמא:

"לכל אדם בעולם קיים דג עם מספר קשקשים כגיל האדם או שאורכו עשירית מאורך האדם"

השלילה היא:

"קיים אדם כך שלא קיים דג עם מספר קשקשים כגיל האדם או שאורכו עשירית מאורך האדם"

נמשיך:

"קיים אדם שלכל דג בעולם לא נכון ש(יש לו מספר קשקשים כגיל האדם או שאורכו עשירית מאורך האדם)"

כלומר

"קיים אדם שלכל דג בעולם יש מספר קשקשים שונה מגיל האדם וגם אורכו של הדג שונה מעשירית אורך האדם"

הערה: סדר הכמתים הוא חשוב (כמו בעברית) - לדוגמא: יש הבדל בין "לכל סיר קיים מכסה" לבין "קיים מכסה שמתאים לכל סיר".דוגמא: הצרן את המשפט "לכל מספר טבעי יש מספר טבעי הגדול ממנו" פתרון: $\forall n\in\mathbb{N}\,\exists m\in\mathbb{N}:n<m$ לעומת זאת $\exists m\in\mathbb{N}\,\forall n\in\mathbb{N}:n<m$ פירושו שקיים מספר טבעי שגדול מכל המספרים הטבעיים.

תרגיל: הצרן את המשפט "כל מספר ממשי ניתן לקרב ע"י מספרים רציונאליים בקירוב טוב כרצוננו"

פתרון: $\forall x\in\mathbb{R}\,\exists A\subset\mathbb{Q}:\forall\epsilon\in\mathbb{R}_{+}\exists q\in A\,:|x-q|<\epsilon$ .

מה היא שלילתו של המשפט?

פתרון: נכתוב את הרמות השונות

$\neg(\forall x\in\mathbb{R}\,\exists A\subset\mathbb{Q}:\forall\epsilon\in\mathbb{R}_{+}\exists q\in A\,:|x-q|<\epsilon )$
$\exists x\in\mathbb{R}\,\neg( \exists A\subset\mathbb{Q}:\forall\epsilon\in\mathbb{R}_{+}\exists q\in A\,:|x-q|<\epsilon )$
$\exists x\in\mathbb{R}\, \forall A\subset\mathbb{Q}:\neg(\forall\epsilon\in\mathbb{R}_{+}\exists q\in A\,:|x-q|<\epsilon )$
$\exists x\in\mathbb{R}\, \forall A\subset\mathbb{Q}:\exists\epsilon\in\mathbb{R}_{+}\neg(\exists q\in A\,:|x-q|<\epsilon )$
$\exists x\in\mathbb{R}\, \forall A\subset\mathbb{Q}:\exists\epsilon\in\mathbb{R}_{+}\forall q\in A\,\neg(:|x-q|<\epsilon )$
$\exists x\in\mathbb{R}\,\forall A\subset\mathbb{Q}:\exists\epsilon\in\mathbb{R}_{+}\forall q\in A\,:|x-q|\geq\epsilon$

תרגילים: דוגמאות של הצרנת ושלילת המושגים 'תלות לינארית', 'גבול סדרה', 'חח"ע', וכדומה

גרסה מ־10:52, 18 באוקטובר 2017 (הצגת מקור) אריאל (שיחה \| תרומות) (←‏כמתים) → מעבר להשוואת הגרסאות הקודמת		גרסה מ־10:53, 18 באוקטובר 2017 (הצגת מקור) אריאל (שיחה \| תרומות) (←‏כמתים) מעבר להשוואת הגרסאות הבאה ←
שורה 30:		שורה 30:
	<math>\forall t\forall s S(t,s)</math>		<math>\forall t\forall s S(t,s)</math>

−	הערה: סדר הכמתים כן ~~משתנה~~ (לפעמים) למשל <math>\exist x\forall y S(x,y)</math> לא שקול לפסוק <math>\forall y \exist x S(x,y)</math>. דוגמא: הצרן את המשפט "לכל מספר טבעי יש מספר טבעי הגדול ממנו" פתרון: <math>\forall n\in\mathbb{N}\,\exists m\in\mathbb{N}:n<m</math> לעומת זאת <math>\exists m\in\mathbb{N}\,\forall n\in\mathbb{N}:n<m</math> פירושו שקיים מספר טבעי שגדול מכל המספרים הטבעיים.	+	הערה: סדר הכמתים כן משנה (לפעמים) למשל <math>\exist x\forall y S(x,y)</math> לא שקול לפסוק <math>\forall y \exist x S(x,y)</math>. דוגמא: הצרן את המשפט "לכל מספר טבעי יש מספר טבעי הגדול ממנו" פתרון: <math>\forall n\in\mathbb{N}\,\exists m\in\mathbb{N}:n<m</math> לעומת זאת <math>\exists m\in\mathbb{N}\,\forall n\in\mathbb{N}:n<m</math> פירושו שקיים מספר טבעי שגדול מכל המספרים הטבעיים.

הבדלים בין גרסאות בדף "תרגול 2 תשעז"

גרסה מ־10:53, 18 באוקטובר 2017

תוכן עניינים

כמתים ופרדיקטים

פרדיקטים

כמתים

שלילת פסוקים

תפריט הניווט

כלים אישיים

גרסאות שפה

מרחבי שם

חיפוש

עוד

צפיות

ניווט

כלים