שינויים

בניגוד לאטומים שהם ללא משתנים הבלוגיקה מתמטית, '''פרדיקטיםפרדיקט''' הינם פונקציות התלויות במשתניםהוא פונקציה המקבלת משתנה או כמה משתנים, ומחזירה ערך אמת (T או F). זוהי הכללה של האטומים שפגשנו בתרגול הקודם, שאינם אלא פרידקטים ללא משתנים. לדוגמא לדוגמה ניתן להגדיר את הפרדיקט <math>S(x)</math> להיות "<math>x </math> הינו סטודנט באוניברסיטה".

גם אטומים וגם פרדיקטים יכולים להיות אמיתיים (מסמנים 1 או T) או שקריים (מסמנים 0 או F). המינוח המקובל הוא שאטום/פרדיקט הוא בעל '''ערך אמת''' T (במידה שהוא נכון) או בעל '''ערך אמת''' F (במידה שאינו נכון).

כיוון שאטומים הם ללא משתנים הם יכולים להיות T או F אבל לא שניהם. לעומתם, פרדיקטים הם תלויים במשתנים ולכן ערך האמת שלהם יקבע לפי ההצבה במשתנים. למשל הפרדיקט <math>S(x,y)=x<y</math> יהיה נכון במקרה ש <math>S(2,3)</math> ולא נכון במקרה ש <math>S(3,2)</math>.