שפת הפרדיקטים

בשפת הפסוקים הבחנו בין פסוקים פשוטים לפסוקים מורכבים ; בשפה הפורמאלית ( הצורנית ) של פרק זה – שפת הפרדיקטים ( – ( predicate language נבחין בין תבניות פשוטות לתבניות מורכבות . התבניות הפשוטות של שפת הפרדיקטים הן הפרדיקטים , והביטויים שמתקבלים מפרדיקטים על-ידי הצבת קבועים במקום חלק מהמשתנים או כולם . למשל , הביטויים ( F ( a , x , … , x ) , R ( d , , mz ) , Q ( , ab ) , P ( x הם תבניות פשוטות בשפת הפרדיקטים . בכל תבנית פשוטה בשפת הפרדיקטים מופיע סימן פרדיקט בודד ; לפי המספר הכולל של סימנים אישיים בסוגריים שבעקבות סימן הפרדיקט רואים אם הסימן אמור לייצג תכונה , או יחס n -מקומי ( . ( n < 2 מספר הסימנים האישיים שהם משתנים קובע אם התבנית הפשוטה תייצג בפירושיה השונים טענות , תכונות או יחסים . התבניות המורכבות של שפת הפרדיקטים הן הביטויים שאפשר לבנות מתבניות פשוטות בעזרת סימני קשרים וכ מּ תים , בדרכים שלמדתם בסעיפים הקודמים . למשל , הביטויים (( , ∃ y ( F ( x , y ∨) ¬ G ( y )) , ∀ x ( P ( x וכן ( P ( a ) ∨ ( Ga הם תבניות מורכבות בשפת הפרדיקטים . 1 גם התבנית ( P ( b , x המסמלת כאן את ' בתיה גבוהה מ...  To the book