שינויים

::נראה לי שהכוונה ב"מוכל ממש" (גם לפי הסימן) היא שקבוצה אחת מוכלת בקבוצה שנייה אבל לא שווה לה. לכן את צריכה להוכיח שקבוצה אחת מוכלת בשנייה, וגם להוכיח שהיא לא שווה לה. אם תוכיחי את זה, זאת תהיה הוכחה (לא הפרכה). את יכולה להסביר איך הצלחת להוכיח את ההכלה בשאלה 9? תודה::אכן זו הכוונה. אם מצאת מקרה של שוויון אזי הדבר מהווה הפרכה, כי הרי אסור שזה יהיה שווה. במקרה כזה את אפילו לא צריכה להראות שזה מוכל או שווה, אלא פשוט לתת את מקרה השוויון כדוגמה נגדית ולומר שמשום כך הטענה לא מתקיימת...