שינויים
/* בוחן */
<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 נתון...)
==תרגילי בית==
* '''המלצה חשובה''' - נסו לפתור את תרגילי ה-XI לבד לפני שאתם מסתכלים בהדרכה של המערכת!!
'''מטלות תרגול ממוחשבות XI:''' [http://xi.math-wiki.com בקישור]. ברשימת הקורסים בקישור תמצאו את הקורס שלנו, יש להרשם עם חשבון גוגל. '''נא להכניס תעודת זהות בעת ההרשמה!''' את המטלות יש להגיש באופן ממוחשב עד שבועיים מיום העלאת התרגיל. בשקלול הציון יכנסו כ-80% מהציונים הטובים ביותר.
*[[מדיה: 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 ציוני בוחן]
הבוחן ופתרונו עלו למבחנים ובחנים משנים קודמות.
