|
|
את הסמנטיקה של ל נגדיר בצורה קצת שונה מהדרך שבה הגדרנו את הסמנטיקה 0 של ע . הסמנטיקה תכלול מודל M עבור ל ( ישות מתמטית שמייצגת פיסת מציאות ) , 0 0 פונקציית השמה g עבור המשתנים ( מייצגת הצבעה על ההוראה של כינוי גוף דאיקטי ) , חוקים רקורסיביים שמחשבים את הערכים הסמנטיים של כל הביטויים בשפה במודל M יחסית לפונקציית השמה , g הגדרת אמת לנוסחה במודל , M והגדרת גרירה בין נוסחאות של ל . מודל עבור ל מודל עבור ל הוא זוג סדור , , M = < D , F > כאשר : 0 D . 1 היא קבוצה לא ריקה של אובייקטים , הנקראת תחום הדיון . F . 2 היא פונקציית הפירוש עבור הקבועים ( = כל מה שבלקסיקון למעט המשתנים ) , כך ש : א . F נותנת לכל שם פרטי איבר ב D ב . F נותנת לכל פרדיקט חד מקומי קבוצה של איברים מ D ג . F נותנת לכל פרדיקט דו מקומי , קבוצה של זוגות סדורים של איברים מ D ד . 0 1 = (¬) F 1 0 16 כך נהוג , למרות שבמקרה זה אין חשיבות לסדר בין איברי הזוג . ה .
To the book |
|
|