83-116 בדידה להנדסה סמסטר ב' תשע"ח: הבדלים בין גרסאות בדף

מתוך Math-Wiki
שורה 15: שורה 15:
הסבר הרעיון בקשר לגלב: רוצים להוכיח שלא קיים גלב כזה כלומר שמתקיים:
הסבר הרעיון בקשר לגלב: רוצים להוכיח שלא קיים גלב כזה כלומר שמתקיים:


<math>\lnot (\exists x \forall y (P(x,y)\leftrightarrow \lnot P(y,y))</math>
<math>\lnot (\exists x \forall y (P(x,y)\leftrightarrow \lnot P(y,y)))</math>


וראינו שזה שקול ללהוכיח שמתקיים:
וראינו שזה שקול ללהוכיח שמתקיים:

גרסה מ־14:31, 20 במרץ 2018

83-116 בדידה להנדסה

שעות קבלה

  • אריאל: בתיאום במייל, relweiz@gmail.com

קישורים

הודעות

הסבר הרעיון בקשר לגלב: רוצים להוכיח שלא קיים גלב כזה כלומר שמתקיים:

[math]\displaystyle{ \lnot (\exists x \forall y (P(x,y)\leftrightarrow \lnot P(y,y))) }[/math]

וראינו שזה שקול ללהוכיח שמתקיים:

[math]\displaystyle{ \forall x\exists y(P(x,y) \oplus \lnot P(y,y)) }[/math]

נוכיח: יהי [math]\displaystyle{ x }[/math] צריך למצוא [math]\displaystyle{ y }[/math] כך שמתקיים [math]\displaystyle{ P(x,y) \oplus \lnot P(y,y) }[/math] ניקח את [math]\displaystyle{ y }[/math] להיות [math]\displaystyle{ x }[/math] ואז זה אכן מתקיים. (בשיעור עשיתי הפוך לקחתי את [math]\displaystyle{ x }[/math] להיות [math]\displaystyle{ y }[/math], וזה לא עוזר...)

תרגילי בית

מטלות תרגול ממוחשבות XI: בקישור. ברשימת הקורסים בקישור תמצאו את הקורס שלנו, יש להרשם עם חשבון גוגל. נא להכניס תעודת זהות בעת ההרשמה! את המטלות יש להגיש באופן ממוחשב עד שבועיים מיום העלאת התרגיל. בשקלול הציון יכנסו כ-80% מהציונים הטובים ביותר.


תרגילים ידניים

בוחן