שינויים
/* תרגיל */
נגדיר פרדיקט <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). אם המשתנים מגיעים מהרציונאלים הפסוק אמת (תכונה זאת נקראת צפיפות הרציונאלים). מסקנה: צריך לדעת מאיפה מגיעים משתני הפרדיקט.
