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