סיכום הנושא המלא נמצא בדף [[88-101 חשיבה מתמטית]].
ראשית, נכיר את הקשרים הלוגיים (וגם, או, שלילה, גורר), הכמתים (לכל, קיים) ואת מושג ההצרנה.
'''תרגיל:'''
הגדרה: איחוד של שתי קבוצות A וB הוא קבוצת האיברים שנמצאים לפחות באחת הקבוצות. החיתוך הוא קבוצת האיברים שנמצאים בשתי הקבוצות.
*הצרן תנאי השקול לכך ש-a שייך לאיחוד של הקבוצות A וB
*הצרן תנאי השקול לכך ש-a אינו שייך לאיחוד של הקבוצות A וB
*הצרן תנאי השקול לכך ש-a שייך לחיתוך של הקבוצות A וB
*הצרן תנאי השקול לכך ש-a אינו שייך לחיתוך של הקבוצות A וB
הגדרה: קבוצה A מוכלת בקבוצה B אם בB נמצאים כל האיברים מA (למשל הטבעיים מוכלים בשלמים <math>\mathbb{N}\subseteq\mathbb{Z}</math>, והשלמים מוכלים בממשיים <math>\mathbb{Z}\subseteq\mathbb{R}</math>).
*הצרן תנאי השקול לכך ש-C מוכלת בחיתוך של A וB
*הצרן תנאי השקול לכך ש-C אינה מוכלת באיחוד של A וB