כיוון שאטומים הם ללא משתנים הם יכולים להיות T או F אבל לא שניהם. לעומתם פרדיקטים הם תלויים במשתנים ולכן ערך האמת שלהם יקבע לפי ההצבה במשתנים. למשל הפרדיקט <math>S(x,y)=x<y</math> יהיה נכון במקרה ש <math>S(2,3)</math> ולא נכון במקרה ש <math>S(3,2)</math>. כלומר לכל הצבה במשתני הפרדיקטים נקבל פסוק. הערה: משמשים בקשרים גם בפרדיקטים למשל <math>S(x,y)</math> הפרדיקט המוגדר <math>x>0 \land x<y</math>
בנוסף, ניתן להוסיף כמתים.
<math>\forall t\forall s S(t,s)</math>
הערה: סדר הכמתים כן משתנה (לפעמים) למשל <math>\exitst exist x\forall y S(x,y)</math> לא שקול לפסוק <math>\forall y \exitst exist x S(x,y)</math>