g(x,y,z)/\[p(x,y)....]d
כך שהפרדיקט g(x,y,z) קובע שכל האנשים שונים? (התעלם מה d)
:רשמתי מהו הפרדיקט: <math>x\neq y</math>. אין להשתמש בפרדיקט המכיל יותר מורכבות מזה, אלא לפתור את הבעייה באמצעות אי שיוויון בין זוגות. --[[משתמש:ארז שיינר|ארז שיינר]] 21:05, 23 ביולי 2011 (IDT)
== חתול רואה כלב ==