| פתרון: קיים כך שלכל מתקיים או תלויה לינארית | נתבונן בפרדיקט בן שני משתנים, למשל x אוהב את y |
|---|---|
| להעתקת הקטע המסומן, עברו למסמך היעד, סמנו את המקום הרצוי ולחצו: CTRL+V להדבקת הקטע | זו הזדמנות לשוב ולעיין בדרכים להוכיח ולהפריך טענות מכומתות שהובאו בראש |
האם הספריה החדשה מוצלחת בהכרח? אגף של ספריה הוא שלם, אם לכל נושא יש מדף שכל הספרים בו עוסקים בנושא זה.
15| לדוגמא, 0 ו-1 הם חסמים מלעיל של קבוצת המספרים השליליים | בתוך אזור התחולה הזה, אין כל חשיבות לשם המשתנה - אין שום הבדל בין "לכל נורה x יש מתג y כך ש-y מפעיל את x" הצרן את הפסוק הזה , לבין "לכל נורה z יש מתג y כך ש-y מפעיל את z": השני מתקבל מהחלפת המשתנה x במשתנה z |
|---|---|
| קשרים משמשים ב וב כדי לייצג פעולות לוגיות כגון "וגם", "לא" ו"אם-אז" | לפעמים רוצים לומר שיש אינסוף מספרים המקיימים תכונה מסויימת |