שינויים
/* משתנים ותחולתם */
להלן דוגמא נוספת. נניח ש-a,b מספרים שלמים. אומרים ש-d הוא '''מחלק משותף מקסימלי''' אם הוא מחלק את a ו-b, ומתחלק בכל מחלק משותף שלהם. כלומר, אם d מחלק משותף מקסימלי, אז לכל n כך ש-n|a,b, מתקיים n|d. מה שגוי בגרסה "מכיוון ש-d מחלק משותף מקסימלי של a,b, אם יש n כך ש-n|a,b אז יש n כך ש-n|d", הלקוחה גם היא מבחינה של סטודנט?
דוגמא נוספת: הפתרון הכללי למשוואה דיפרנציאלית מסויימת הוא הפונקציה <math>\ y(x) = e^x+C</math> כאשר C הוא קבוע (אין צורך לדעת מהי משוואה דיפרנציאלית כדי להצרין את הטענה הזו: קיים, מן הסתם, פרדיקט P המקבל ערך אמת T רק על פונקציות הפותרות את המשוואה, ואם כך הפסוק קובע ש"לכל y, אם <math>\ P(y)</math> אז קיים C כך ש- <math>\ y = e^x + C</math>"). קושיה שהעלה סטודנט: האם נכון לומר שהפתרון הכללי לאותה משוואה הוא <math>\ y(x) = e^x+2C</math>? ומה אם התהיה היתה לגבי הפתרון <math>\ y(x) = e^x+1/C</math>?
=== וריאציות וכימות יחסי ===
