שינויים
/* וריאציות וכימות יחסי */
'''תרגיל'''. נניח שהיכרות היא פרדיקט סימטרי P בשני משתנים (כלומר, <math>\ \forall x,y: P(x,y) \leftrightarrow P(y,x)</math>).
* נסח את הפסוק: מבין כל ששה אנשים, או שיש שלושה המכירים זה את זה, או שיש שלושה שאף אחד מהם אינו מכיר אף אחד אחר.
'''פתרון חלקי'''. הפתרון הישיר הוא מהצורה <math>\ \forall x_1,x_2,x_3,x_4,x_5,x_6: P(x_1,x_2,x_3,x_4,x_5,x_6)</math> כאשר P הוא פסוק ארוך מאד בן ששה משתנים, שאין בו כמתים. יעיל יותר לפתור כך: <math>\ x_1,\dots,x_6</math> שונים, קיימים וקיימים y,z,u מתוך הערכים <math>\ x_1,\dots,x_6</math>, המקיימים תנאי מסויים.
בשלב זה קשה לכתוב "קיימים y,z,u מתוך" קבוצה מסויימת; כדי לעשות זאת היטב יש ללמוד מעט תורת הקבוצות.
