8.2.2.1 התחביר של תחשיב פרדיקטים מודאלי

הלקסיקון : קבוצת השמות הפרטיים } NAME = } dani , gila , sara , yosi … קבוצה אינסופית של משתנים } VAR = } x , y , z , x , x , x , … עבור כל , n > 0 קבוצת הפרדיקטים ה n מקומיים : 5 סעיף רשות לתלמידים מתקדמים . קבוצת הפרדיקטים החד מקומיים } PRED = } student , roked , xamud , muzar … קבוצת הפרדיקטים הדו מקומיים } PRED = } ohev , mena  ek , … } PRED = } noten , ma  ig , … . . . שלילה } NEG = } ¬ קשרים } CONN = } ^ , ∨ , כללי הגזירה : חוק : 1 אם P הוא פרדיקט n מקומי ו t , t , … , t הם שמות פרטיים או משתנים , אז ( P ( t , t , … , t היא נוסחה . חוק : 2 אם t , t הם שמות פרטיים או משתנים , אז ( t = t ) היא נוסחה . חוק : 3 אם ϕ היא נוסחה , אז ϕ¬ϕ היא נוסחה חוק : 4 אם ϕ ו ψ הן נוסחאות , אז [ψ ]ψ∨ϕ , ψ^ϕ[ ] ו [ψ , ϕ[ ψ הן חוק : 5 אם x הוא משתנה ו ϕ היא נוסחה , אז ϕ ∀ ϕ ו ϕ ∃ ϕ הן חוק : 6 אם ϕ היא נוסחה , אז ϕϕ ו ϕ◊ϕ הן נוסחאות ( זהו בעצם הכלל החדש היחיד  אל הספר
האוניברסיטה הפתוחה