הצבה

כשמציבים ערכים מתוך העולם במקום כל המשתנים של תבנית , מתקבל פסוק ( המביע טענה ); בתבנית שבה יש יותר ממשתנה אחד אפשר להציב ערכים במקום חלק מהמשתנים ( לא כולם ) . כשעושים זאת מתקבלת תבנית ( בפחות משתנים ) . נסתכל למשל בתבנית ' x דוד של . ' y נניח שאמנון שייך לתחום הדיון . כשמציבים ' אמנון ' במקום , y מתקבלת התבנית ' x דוד של אמנון '; כשמציבים ' אמנון ' במקום , x מתקבלת התבנית ' אמנון דוד של . ' y כל אחת משתי התבניות היא תבנית במשתנה אחד , ובהתאם לכך היא מתארת תכונה . התבנית הראשונה מתארת את התכונה ' להיות דוד של אמנון ' , השנייה – את התכונה ' להיות אחיין של אמנון ' . ב- , N הצבת 7 במקום y בתבנית P ( x , y ) : x > y מניבה את התבנית ( במשתנה אחד ) ( , P ( x , 7 האומרת : . x > 7 כל התבניות בסדרה ,... x > 2 , x > 1 , x > 0 מתקבלות מ- ( P ( x , y על-ידי הצבת קבוע במקום . y הצבת 7 במקום x ב- ( P ( x , y מניבה את התבנית , P ( 7 , y ) : 7 > y המתארת אותה תכונה כמו התבנית , y < 7 שהיא : ' להיות קטן מ- . ' 7 שימו לב שהתבנית Q ( x ) : x < 7 מתארת אותה תכונה . ככלל , אם ( P ( x , y תבנית בשני משתנים...  אל הספר