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