:'''שימו לב''' שהביטוי בצד שמאל שקול ל <math>A \cup B</math> '''(מדוע?)''', ומתקיים: <math>A \cup B=A \to B \subseteq A</math> ומכאן תמשיכו לבד... '''--אריאל ויצמן'''
== שאלה 12 תרגיל 2 ==
שלום,
הבנתי שאני צריכה להוכיח א->ב->ג->ד->ה->א. אבל אני לא מצליחה להוכיח ש ה->א וש ב->ג. אפשר כיוון לפתרון?
תודה!!
צריך להוכיח שכל סעיף גורר כל סעיף! מה שצוין זה דרך אפשרית 1. ניתן גם להוכיח א <-> ב, ב->ג->ד->ה->ב [[משתמש:אחיה בר-און|אחיה]]
== שאלה חסרה בשיעורי בית ==
אני חושב שחסרה שאלה אחת בסימטריה בחלק ב (צריך להוכיח שאיחוד וחיתוך יחסים סימטריים הם גם סימטריים, אבל אין שאלה לסימון של R חיתוך S סימטרי)
:נכון! פקשוש קטן שהשאלה לא נשמרה. [[משתמש:אחיה בר-און|אחיה]]
== תרגיל 4 - שאלה 16 ==
כשכתבתם בהגדרה של B שלכל X,Y ששייכים לB אז או X לא שווה לY או ש X חיתוך Y הוא הקבוצה הריקה.
זה לא אומר שאם אני לוקח שתי איברים זהים אז הכלל לא מתקיים?
מה שכתוב זה שלכל שני איברים '''שונים''' מB, החיתוך שלהם ריק. --'''אריאל'''
== בחינה ==
מתי הבחינה?
:מועד ב' יתקיים ב19 באוקטובר 2014.
== משפטים להוכחה מס' 14 ==
בדף המשפטים להוכחה יש משפט מס' 14: א=0א^2=0א^0א
משפט זה מתבסס על 3-4 משפטים אחרים שחלקם גם ברשימת המפשטים למבחן.
במידה ואקבל להוכיח שיוויון זה במבחן יש רק לאזכר את המשפטים בהם צריך להשתמש או גם להוכיח כ"א מהם ?
תודה רבה
:כל נושא "רשימת המשפטים למבחן" צריך לשאול את המרצים בענין. הם הכתובת לשאלות בנושא, כמו למשל אלו משפטי עזר מותר להניח ואלו צריך להוכיח [[משתמש:אחיה בר-און|אחיה ]]