פרדיקט השוויון

שפת הפרדיקטים שבה נעסוק כוללת פרדיקט דו-מקומי מיוחד , נוסף על האחרים , שמעמדו שונה משל היתר , והוא פרדיקט השוויון שסימנו ' = ' . משני צידי הסימן אפשר לשבץ סימנים אישיים כלשהם . ביטויים מעין m = n , x = m , x = y ייחשבו לתבניות פשוטות . השלילה , ( , (¬ x = y תסומל . x ≠ y מעמדו המיוחד של פרדיקט השוויון הוא בכך , שהאינטרפרטציה שלו קבועה . בכל הקשר , x = y מייצג את ' x הוא . ' y בדוגמאות שבסעיף הבא תיווכחו בחיוניותו של פרדיקט השוויון . 1 סדרת פעולות השלילה / צירוף / כימות שבאמצעותן תבנית פורמאלית מורכבת מתקבלת מתבניות פשוטות מאפשרת לזהות את המשתנים החופשיים שלה ( ראו בהערת רגל בעמוד הקודם ) . 2 אותו קבוע במקום כל ההופעות החופשיות של אותו משתנה . קבועים שונים במקום הופעות חופשיות של משתנים שונים . 3 כל פרדיקט אחר עשוי לסמן תבניות שונות בהקשרים שונים .  To the book