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