תבניות במשתנה אחד

תבניות במשתנה אחד מתארות תכונות של איברים בתחום הדיון ; אם ( P ( x תבנית בעולם , U ו- , a ∈ U אז ( , P ( a המתקבל מהתבנית על-ידי הצבת a במקום , x הוא פסוק המביע טענה בעלת ערך אמת . אם ( P ( a אמת , אז a הוא בעל התכונה ש- ( P ( x מתארת , אחרת לא . נמחיש : בשלוש הדוגמאות הראשונות תחום הדיון הוא קבוצת אנשים . ( x ' ( 1 יפה ' : ( P ( x התכונה ש- ( P ( x מתארת היא ' להיות יפה ' . ( 2 ) ' אמא של y רופאה ' : ( Q ( y התכונה ש- ( Q ( y מתארת היא ' להיות בן / בת של רופאה ' . ( 3 ) ' ראובן נזף ב- R ( z ) : ' z האיברים של העולם שהם בעלי התכונה ש- ( R ( z מתארת הם האנשים שבהם ראובן נזף . ( 4 ) הפעם העולם הוא . R התבנית P ( x ) : x > 0 מתארת את התכונה ' להיות חיובי ' . ( 5 ) באותו עולם ( , ( R נסתכל כעת בתבנית האחרת Q ( x ) : x − 3 ( x + 1 <) 0 . 5 ( x + 4 ) 2 העובדה שגם התבנית הזאת מתארת תכונה תבלוט יותר לעין אם נקרא את הביטוי ( , Q ( x המסמל אותה , כך : ' x הוא . ' Q לסימן Q נקרא סימן פרדיקט ) חד-מקומי ( , משום שמבחינה תחבירית – הוא הנ שׂ וא ( הפרדיקט , predicate ) של האמירה ' x הוא . ' Q קשה לתאר ...  To the book