תבניות בשני משתנים מתארות יחסים דו-מקומיים על תחום הדיון . נמחיש : ( 1 ) בעולם של אנשים , התבנית ' x מכיר את P ( x , y ) : ' y מתארת את היחס ( הדו-מקומי ) ' להכיר את '; התבנית ' x ו- y חברים ' : ( Q ( x , y מתארת את היחס ( הדו-מקומי ) ' להיות חבר של ' . גם התבנית ' אמא של x היא חמות של S ( , xy ) : ' y מתארת יחס . אם כל האנשים בתחום הדיון הם בנים / בנות יחידים / יחידות להוריהם , אז היחס שאותו מתארת ( S ( , xy מתלכד עם היחס שאותו מתארת התבנית ' x נשוי / נשואה ל- . R ( x , y ) : ' y ( 2 ) המשוואה P ( x , y ) : x + xy − 7 x = y היא תבנית מספרית בשני משתנים ; כדי להבליט את העובדה שגם היא , כמו כל תבנית בשני משתנים , מתארת יחס דו-מקומי על העולם שלה , נקרא את הביטוי ( P ( x , y המסמל אותה כך : ' הזוג x , y עומד ביחס . ' P הסימן P הוא הפעם סימן פרדיקט דו-מקומי . לביטוי ( P ( x , y עצמו נקרא פרדיקט דו-מקומי . קשה לתאר בעברית מדוברת ( ללא משתנים וללא סימנים מתמטיים ) את היחס הדו-מקומי שסימן הפרדיקט P מסמל , אבל לא קשה לבדוק אם זוג מספרים נתון עומד בו . כל שיש לעשות הוא להציב את הרכיב הראשון של ...
אל הספר