שינויים
/* תרגיל */
*A '''הפרש''' B הינה הקבוצה המכילה את כל האיברים בA שאינם בB (מסומן A\B).
*'''ההפרש הסימטרי''' בין שתי קבוצות A וB הוא אוסף האיברים הנמצאים באחת הקבוצות אך לא בחיתוך (מסומן <math>A\Delta B</math>).
====תרגיל====
נגדיר פרדיקט <math>R(x,z,y)</math> המביע כי <math>x<z<y</math>.
האם הפסוק <math>\forall x\forall y \exists z : (x<y)\to R(x,z,y)</math>?
פתרון: אם המשתנים מגיעים מהשלמים הפסוק שקרי (שהרי לא קיים z עבור x=1,y=2). אם המשתנים מגיעים מהרציונאלים הפסוק אמת (תכונה זאת נקראת צפיפות הרציונאלים). מסקנה: צריך לדעת מאיפה מגיעים משתני הפרדיקט.
מה לא חשוב? לא חשוב שמות המשתנים. למשל <math>\forall x\forall y \exists z : (x<y)\to R(x,z,y)</math>
זה פסוק זהה לפסוק <math>\forall m\forall n \exists k : (x<y)\to R(m,k,n)</math>
חשוב גם הסדר, והכוונה לשני דברים:
*סדר הופעת הכמתים, למשל הפסוק <math>\forall x\exists z \forall y : (x<y)\to R(x,z,y)</math> הוא שקרי גם כשהמשתנים מגיעים מהרציונאלים (שהרי אפשר למצוא y שבין x לz)
*סדר המשתנים בתוך הפרדיקט, למשל הפסוק <math>\forall x\forall y \exists z : (x<y)\to R(x,y,z)</math> נכון גם כשהמשתנים מגיעים מהשלמים.
====תרגיל====
*הצרן תנאי השקול לכך ש-C אינה מוכלת באיחוד של A וB
==== תרגיל ====
הוכח או הפרך (משתני הפרדיקט נלקחים מהטבעיים):
