לוגיקה - מבוא... בין התחביר (syntax) של המערכת, הקובע מהו משפט תקני ומהם הכללים לגזירה של משפט אחד ממשנהו, ובין הסמנטיקה (semantics) שלה, הקובעת את ערכי האמת של המשפטים שניתן ליצור באמצעות השפה של המערכת. אם מדובר בשפה כמו תחשיב הפסוקים, הסמנטיקה מספקת ערך אמת לכל אחד מן הפסוקים היסודיים, והיא מספקת פירוש סמנטי ... ערכי האמת של המשפטים שהוא מחבר זה לזה (ר להלן). בשפות לוגיות מורכבות יותר, דוגמת תחשיב הפרדיקטים, הסמנטיקה קובעת מהי קבוצת האיברים של תחום הדיון, מהן הקבוצות של האובייקטים ... המודרנית עוסקת בבחינת תכונותיהן הצורניות של מערכות לוגיות, הן מבחינת התחביר שלהן והן מבחינת הסמנטיקה שלהן. למחקר כזה קוראים מטא - לוגיקה. מבין התכונות הצורניות החשובות ... על פי חוקי התחשיב, אזי נוסחה זו אמיתית. הוכחות לשלמות ולנאותות מעידות על הזיקה שבין התחביר והסמנטיקה של המערכת. התחביר קובע איזו נוסחה היא תיאורמה (או משפט), דהיינו איזו נוסחה ניתנת לגזירה מן האקסיומות, באמצעות כללי ההיסק. הסמנטיקה קובעת איזו נוסחה היא טאוטולוגיה, דהיינו איזו נוסחה היא אמיתית בהכרח ... הקשרים שהן מציגות, למשל, בין אובייקטים (בתחשיב הפרדיקטים, הנידון להלן, יש ניתוח של מבנה עומק זה). הסמנטיקה של תחשיב הפסוקים מורה לנו כיצד עלינו להבין את היחס בין הסמלים ... לדוגמה, הפסוק המורכב P leftrightarrow Q מייצג את הטענה הגביע הוא שלנו אם ורק אם אנחנו במפה. הסמנטיקה של הקשרים הקלסיים (שתדון להלן) מאפשרת להביע חלק מן הקשרים במונחים של ... to ba land b מוגדר כ - neg(a to neg b) a leftrightarrow b מוגדר כ - neg((a to b) to neg (b to a)) סמנטיקה לתחשיב הפסוקים במסגרת הסמנטיקה של תחשיב הפסוקים, כל פסוק יסודי יכול לקבל אחד משני ערכי אמת: אמת או ... מצוי בטווח של כמת מתאים, הנוסחה נחשבת כפסוק (או טענה). או אז ניתן ליחס לה ערך אמת, בתלות בפירוש שהסמנטיקה נותנת לפרדיקטים ולתחום האובייקטים (ר להלן). בתחשיב הפרדיקטים הפסוק ... חברים שוב כפרדיקט דו - מקומי, F: forall x exists y Rxy דוגמאות נוספות ניתנות בערך תחשיב הפרדיקטים. סמנטיקה של תחשיב הפרדיקטים הסמנטיקה של תחשיב הפרדיקטים מציעה פירושים, אשר במסגרתם בלבד ניתן ליחס לפסוקים ... אליו היא הקבוצה המכילה את הזוג {}. לא כל אובייקט בתחום דורש שיינתן לו שם. אולם צריך להיות ברור מן הסמנטיקה, עבור כל אובייקט וכל פרדיקט בתחום, האם הפרדיקט חל עליו או לא. כעת ...