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