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