שינויים
/* הודעות */
==הודעות==
הסבר הרעיון בקשר לגלב: רוצים להוכיח שלא קיים גלב כזה כלומר שמתקיים:
<math>\lnot (\exists x \forall y (P(x,y)\leftrightarrow \lnot P(y,y))</math>
וראינו שזה שקול ללהוכיח שמתקיים:
<math>\forall x\exists y(P(x,y) \oplus \lnot P(y,y))</math>
נוכיח: יהי <math>x</math> צריך למצוא <math>y</math> כך שמתקיים <math>P(x,y) \oplus \lnot P(y,y)</math> ניקח את <math>y</math> להיות <math>x</math> ואז זה אכן מתקיים. (בשיעור עשיתי הפוך לקחתי את <math>x</math> להיות <math>y</math>, וזה לא עוזר...)
==תרגילי בית==
