88-101 חשיבה מתמטית קיץ תשעא/תרגילים/פתרון 2 - היסטוריית גרסאות

ארז שיינר ב־06:48, 6 באוגוסט 2011

2011-08-06T06:48:32Z

→ הגרסה הקודמת		גרסה מ־06:48, 6 באוגוסט 2011
שורה 1:		שורה 1:
			==שאלה 1 ==
	הגדרה: הגבול של הפונקציה f בנקודה x הינו L אם לכל סדרה <math>x_n</math> המתכנסת לx ושאבריה שונים מx מתקיים שהסדרה <math>f(x_n)</math> מתכנסת ל-L.		הגדרה: הגבול של הפונקציה f בנקודה x הינו L אם לכל סדרה <math>x_n</math> המתכנסת לx ושאבריה שונים מx מתקיים שהסדרה <math>f(x_n)</math> מתכנסת ל-L.

שורה 167:		שורה 168:
	**<math>\exists x\in H: [\forall y\in H: (x\neq y) \rightarrow \neg P(x,y)] \and \neg Q(x)]</math>		**<math>\exists x\in H: [\forall y\in H: (x\neq y) \rightarrow \neg P(x,y)] \and \neg Q(x)]</math>

			==שאלה 2==
	חלק את הטענות הבאות לקבוצות שקילות. כלומר, בכל קבוצה כל הטענות צריכות להיות שקולות זו לזו. בנוסף, ציין אילו קבוצות הן שלילות של איזו קבוצה:		חלק את הטענות הבאות לקבוצות שקילות. כלומר, בכל קבוצה כל הטענות צריכות להיות שקולות זו לזו. בנוסף, ציין אילו קבוצות הן שלילות של איזו קבוצה:
	#יש חתול שאינו שורט ואינו נושך כאשר הוא רואה כלב		#יש חתול שאינו שורט ואינו נושך כאשר הוא רואה כלב

ארז שיינר ב־16:15, 5 באוגוסט 2011

2011-08-05T16:15:22Z

→ הגרסה הקודמת		גרסה מ־16:15, 5 באוגוסט 2011
שורה 153:		שורה 153:

	*יש אדם שהוא הכי מבוגר		*יש אדם שהוא הכי מבוגר
			אנחנו נסיק מכך שיש אדם שאין אף אחד מבוגר ממנו. כלומר אם יש שני מבוגרים, אז עדיין ניתן לומר שיש אחד שהוא הכי מבוגר
			**<math>\exists x\in H\forall y\in H: (x\neq y) \rightarrow \neg P(x,y)</math>
			השלילה: לכל אדם, יש אדם המבוגר ממנו.
			**<math>\forall x\in H\exists y\in H: (x\neq y) \and P(x,y)</math>




	*אם יש אדם שהוא הכי מבוגר, הוא שמח		*אם יש אדם שהוא הכי מבוגר, הוא שמח
			נצרין את זה באופן: כל אדם שהוא הכי מבוגר, הוא גם הכי שמח.
			**<math>\forall x\in H :[\forall y\in H: (x\neq y) \rightarrow \neg P(x,y)] \rightarrow Q(x)]</math>
			השלילה הינה: יש אדם הכי מבוגר והוא עצוב
			**<math>\exists x\in H: [\forall y\in H: (x\neq y) \rightarrow \neg P(x,y)] \and \neg Q(x)]</math>

ארז שיינר ב־10:58, 5 באוגוסט 2011

2011-08-05T10:58:32Z

→ הגרסה הקודמת		גרסה מ־10:58, 5 באוגוסט 2011
שורה 128:		שורה 128:
	**<math>\forall x,y\in H: (x\neq y) \rightarrow [Q(x)\or Q(y)]</math>		**<math>\forall x,y\in H: (x\neq y) \rightarrow [Q(x)\or Q(y)]</math>
	**<math>\exists x,y\in H: (x\neq y) \and \neg Q(x)\and \neg Q(y)</math>		**<math>\exists x,y\in H: (x\neq y) \and \neg Q(x)\and \neg Q(y)</math>



שורה 137:		שורה 138:

	**<math>[\exists x,y\in H: (x\neq y \and Q(x) \and Q(y)] \and[\forall x,y\in H: (x\neq y)\rightarrow [Q(x) \or Q(y)]]</math>		**<math>[\exists x,y\in H: (x\neq y \and Q(x) \and Q(y)] \and[\forall x,y\in H: (x\neq y)\rightarrow [Q(x) \or Q(y)]]</math>




	*יש רק אדם אחד עצוב		*יש רק אדם אחד עצוב
			**<math>\exists x\in H: [(\neg Q(x))\and (\forall y\in H: (y\neq x)\rightarrow Q(y)) ]</math>

			זהו בעצם משפט '''קיום''' וגם '''יחידות'''. השלילה היא לא קיים או לא יחיד:

			**<math>\forall x\in H: Q(x)\or [\exists y\in H: (y\neq x) \and \neg Q(y)]</math>




	*יש אדם שהוא הכי מבוגר		*יש אדם שהוא הכי מבוגר
	*אם יש אדם שהוא הכי מבוגר, הוא שמח		*אם יש אדם שהוא הכי מבוגר, הוא שמח

ארז שיינר ב־10:54, 5 באוגוסט 2011

2011-08-05T10:54:39Z

→ הגרסה הקודמת		גרסה מ־10:54, 5 באוגוסט 2011
שורה 54:		שורה 54:

	</math>		</math>




שורה 67:		שורה 69:

	**<math>\exists x,y,z\in H: ([P(x,y)]\and [P(x,z)] \and [y\neq z])\and \neg Q(x) </math>		**<math>\exists x,y,z\in H: ([P(x,y)]\and [P(x,z)] \and [y\neq z])\and \neg Q(x) </math>





	*מבין כל שלושה אנשים שמחים, לפחות שניים הם באותו גיל		*מבין כל שלושה אנשים שמחים, לפחות שניים הם באותו גיל
שורה 115:		שורה 121:

	</math>		</math>




	*בכל זוג יש לפחות אדם אחד שמח.		*בכל זוג יש לפחות אדם אחד שמח.
	**<math>\forall x,y\in H: (x\neq y) \rightarrow [Q(x)\or Q(y)]</math>		**<math>\forall x,y\in H: (x\neq y) \rightarrow [Q(x)\or Q(y)]</math>
	**<math>\exists x,y\in H: (x\neq y) \and \neg Q(x)\and \neg Q(y)</math>		**<math>\exists x,y\in H: (x\neq y) \and \neg Q(x)\and \neg Q(y)</math>



	*קיים זוג בו שני האנשים שמחים רק אם קיים זוג אחר בו שני האנשים עצובים		*קיים זוג בו שני האנשים שמחים רק אם קיים זוג אחר בו שני האנשים עצובים
			**<math>[\exists x,y\in H: (x\neq y \and Q(x) \and Q(y)] \rightarrow [\exists x,y\in H: (x\neq y) \and \neg Q(x) \and \neg Q(y)]</math>

			השלילה הינה: קיים זוג שמחים ואין זוג עצובים. אין זוג עצובים אם מכל זוג יש לפחות אחד שמח.

			**<math>[\exists x,y\in H: (x\neq y \and Q(x) \and Q(y)] \and[\forall x,y\in H: (x\neq y)\rightarrow [Q(x) \or Q(y)]]</math>



	*יש רק אדם אחד עצוב		*יש רק אדם אחד עצוב
	*יש אדם שהוא הכי מבוגר		*יש אדם שהוא הכי מבוגר

ארז שיינר ב־10:48, 5 באוגוסט 2011

2011-08-05T10:48:34Z

→ הגרסה הקודמת		גרסה מ־10:48, 5 באוגוסט 2011
שורה 117:		שורה 117:

	*בכל זוג יש לפחות אדם אחד שמח.		*בכל זוג יש לפחות אדם אחד שמח.
			**<math>\forall x,y\in H: (x\neq y) \rightarrow [Q(x)\or Q(y)]</math>
			**<math>\exists x,y\in H: (x\neq y) \and \neg Q(x)\and \neg Q(y)</math>

	*קיים זוג בו שני האנשים שמחים רק אם קיים זוג אחר בו שני האנשים עצובים		*קיים זוג בו שני האנשים שמחים רק אם קיים זוג אחר בו שני האנשים עצובים
	*יש רק אדם אחד עצוב		*יש רק אדם אחד עצוב

ארז שיינר ב־10:47, 5 באוגוסט 2011

2011-08-05T10:47:14Z

@@ שורה 86: / שורה 86: @@
+(
 \neg [P(z,y)\or P(y,z)]
+)
+]

ארז שיינר ב־10:44, 5 באוגוסט 2011

2011-08-05T10:44:11Z

@@ שורה 8: / שורה 8: @@
 נסמן סדרה ממשית ב<math>\{a_n\}\subseteq\mathbb{R}</math>. אם כן, ההצרנה של הגדרת הגבול הינה:
-<math>
+**<math>
 \forall \{a_n\}\subseteq\mathbb{R}:\Big[
@@ שורה 34: / שורה 34: @@
 השלילה, היא שקיימת סדרה כך שהתנאי השני לא מתקיים אבל התנאי הראשון כן מתקיים. לכן:
-<math>
+**<math>
 \exists\{a_n\}\subseteq\mathbb{R}:\Big[
@@ שורה 60: / שורה 60: @@
 הצרן את הטענות הבאות, ואז הצרן את השלילה שלהן:
 *מבין כל שלושה אנשים, הצעיר ביותר הוא שמח.
 *מבין כל שלושה אנשים שמחים, לפחות שניים הם באותו גיל
 *בכל זוג יש לפחות אדם אחד שמח.
 *קיים זוג בו שני האנשים שמחים רק אם קיים זוג אחר בו שני האנשים עצובים

ארז שיינר ב־10:29, 5 באוגוסט 2011

2011-08-05T10:29:22Z

→ הגרסה הקודמת		גרסה מ־10:29, 5 באוגוסט 2011
שורה 32:		שורה 32:
	במילים: לכל סדרה מתקיים אם (כל איברי הסדרה שונים מ-x וגם גבול הסדרה הוא x) אז (גבול הסדרה המתקבלת מהפעלת הפונקציה על איברי הסדרה הוא L)		במילים: לכל סדרה מתקיים אם (כל איברי הסדרה שונים מ-x וגם גבול הסדרה הוא x) אז (גבול הסדרה המתקבלת מהפעלת הפונקציה על איברי הסדרה הוא L)

			השלילה, היא שקיימת סדרה כך שהתנאי השני לא מתקיים אבל התנאי הראשון כן מתקיים. לכן:

			<math>
			\exists\{a_n\}\subseteq\mathbb{R}:\Big[

			\big[ (\forall n\in\mathbb{N}:a_n\neq x)
			\and
			(\forall\epsilon >0 \exists N_{\epsilon}\in\mathbb{N}\forall n>N_{\epsilon}:\|a_n-x\|<\epsilon)
			\big]

			\and

			\big[

			(\exists\epsilon >0 \forall N_{\epsilon}\in\mathbb{N}\exists n>N_{\epsilon}):\|f(a_n)-L\|\geq\epsilon)

			\big]


			\Big]

			</math>

ארז שיינר ב־10:27, 5 באוגוסט 2011

2011-08-05T10:27:04Z

→ הגרסה הקודמת		גרסה מ־10:27, 5 באוגוסט 2011
שורה 13:		שורה 13:
	\big[ (\forall n\in\mathbb{N}:a_n\neq x)		\big[ (\forall n\in\mathbb{N}:a_n\neq x)
	\and		\and
	(\forall\epsilon >0 \exists N_{\epsilon}\in\mathbb{N}\forall n>N_{\epsilon}):\|a_n-x\|<\epsilon)		(\forall\epsilon >0 \exists N_{\epsilon}\in\mathbb{N}\forall n>N_{\epsilon}:\|a_n-x\|<\epsilon)
	\big]		\big]

שורה 28:		שורה 28:

	</math>		</math>


			במילים: לכל סדרה מתקיים אם (כל איברי הסדרה שונים מ-x וגם גבול הסדרה הוא x) אז (גבול הסדרה המתקבלת מהפעלת הפונקציה על איברי הסדרה הוא L)

ארז שיינר: יצירת דף עם התוכן "הגדרה: הגבול של הפונקציה f בנקודה x הינו L אם לכל סדרה $x_n$ המתכנסת לx ושאבריה שונים מx מת..."

2011-08-05T10:24:51Z

יצירת דף עם התוכן "הגדרה: הגבול של הפונקציה f בנקודה x הינו L אם לכל סדרה <math>x_n</math> המתכנסת לx ושאבריה שונים מx מת..."

דף חדש

הגדרה: הגבול של הפונקציה f בנקודה x הינו L אם לכל סדרה <math>x_n</math> המתכנסת לx ושאבריה שונים מx מתקיים שהסדרה <math>f(x_n)</math> מתכנסת ל-L.

(הגדרת גבול של סדרה היא כפי שלמדנו בשיעור)

*הצרן את ההגדרה לעיל
*הצרן את השלילה להגדרה (כלומר, מתי L אינו גבול הפונקציה בנקודה x)

נסמן סדרה ממשית ב<math>\{a_n\}\subseteq\mathbb{R}</math>. אם כן, ההצרנה של הגדרת הגבול הינה:

<math>
\forall \{a_n\}\subseteq\mathbb{R}:\Big[

\big[ (\forall n\in\mathbb{N}:a_n\neq x)
\and
(\forall\epsilon >0 \exists N_{\epsilon}\in\mathbb{N}\forall n>N_{\epsilon}):|a_n-x|<\epsilon)
\big]

\rightarrow

\big[

(\forall\epsilon >0 \exists N_{\epsilon}\in\mathbb{N}\forall n>N_{\epsilon}):|f(a_n)-L|<\epsilon)

\big]

\Big]

</math>

יהי הפרדיקט <math>P(x,y)</math> האומר אדם x צעיר יותר מאדם y. ויהי הפרדיקט <math>Q(x)</math> האומר שאדם x הינו שמח.

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

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