השאלה היא האם אני צריך להוכיח שf על עבור כל B המקיים את התנאים, או שמא שקיים B שביחס אליו f על?
בתודה מראש, אופיר.
:היי אופיר. '''תמיד''' בתרגילים מהסוג "יהיו נתונים, הוכח/הפרך: שמתקיים פסוק" צריך להוכיח שהפסוק מתקיים בכל מצב בו הנתונים נכונים, או למצוא מצב אחד בו הנתונים נכונים והפסוק לא. זה שקול למשפט "לכל סיר יש מכסה שמתאים לו". אתה לא נדרש למצוא סיר ספציפי שאתה יכול להרכיב לו מכסה, אלא להוכיח שהדבר נכון לכל סיר, או למצוא סיר אחד ולהוכיח שעבורו אין מכסה.
:בקצרה - לכל B (:
:[[מיוחד:תרומות/79.178.24.114|79.178.24.114]]