שינויים
/* בוחן */
<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>P(x,x)\oplus \lnot P(x,x)</math> וזה אכן מתקיים. (בשיעור עשיתי הפוך לקחתי את <math>x</math> להיות <math>y</math>, וזה לא עוזרנכון כי x נתון...)
==תרגילי בית==
*[[מדיה: 17BdidaEx9.pdf|תרגיל 6]], [[מדיה: 17BdidaEx9Sol.pdf|פתרון]]
*[[מדיה: 17BdidaAvivEx7.pdf|תרגיל 7]], [[מדיה: 17BdidaAvivEx7Sol.pdf|פתרון]]
*[[מדיה: AddExEqR.pdf|עוד תרגיל על יחסי שקילות]], [[מדיה: AddExEqRSol.pdf|פתרון]]
==בוחן==
הבוחן יתקיים ביום שני, כ"ב אייר, 7.5 בשעות 13:00-14:30. חומר לבוחן:
לוגיקה (קשרים, שקילויות לוגיות, כמתים ופרדיקטים).
אינדוקציה.
קבוצות (הכלה, שיוויון, איחוד, חיתוך, הפרש, הפרש סימטרי ומשלים). לא כולל קבוצת החזקה.
בהצלחה!
[https://docs.google.com/spreadsheets/d/1k1KTHTG5HRJe8KT7DqX184sGqokwLh1ZSLEwDxo4XkI/edit?usp=sharing ציוני בוחן]
הבוחן ופתרונו עלו למבחנים ובחנים משנים קודמות.
