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