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