הלקסיקון : קבוצת השמות הפרטיים } NAME = } dani , gila , sara , yosi … . קבוצה אינסופית של משתנים } VAR = } x , y , z , x , x , x , … .. עבור כל , n > 0 קבוצת הפרדיקטים ה n מקומיים : קבוצת הפרדיקטים החד מקומיים } PRED = } student , roked , xamud , muzar … קבוצת הפרדיקטים הדו מקומיים } PRED = } ohev , mena ∫ ek , … } PRED = } noten , ma ig , … . . . שלילה } NEG = } ¬ קשרים } CONN = } ^ , ∨ , ב ל היו לנו פרדיקטים חד מקומיים ודו מקומיים בלבד . בשפות טבעיות יש גם 0 פרדיקטים המביעים יחס בין שלושה אובייקטים . למשל , הפועל ' מציג ' במשפט ( 19 ) מביע יחס תלת מקומי – יחס המתקיים בין המציג , המוצג וזה שמציגים בפניו . ( 19 ) דני מציג את גילה בפני שרה . בתחשיב פרדיקטים יכולים להיות לנו יחסים בין מספר כלשהו , , n של אובייקטים . כללי הגזירה : חוק : 1 אם P הוא פרדיקט n מקומי ו t , t , … , t הם שמות פרטיים או משתנים , אז ( P ( t , t , … , t היא נוסחה . חוק : 2 אם t , t הם שמות פרטיים או משתנים , אז ( t = t ) היא נוסחה . חוק : 3 אם ϕ היא נוסחה , אז ϕ¬ϕ היא נוסחה חוק : 4 אם ϕ ו ψ הן נוסחאות , אז [...
To the book