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