שפת סימני היחס תחביר

Question 1

סימנים

Answer 1

קשרים
סימני פיסוק
שמוץ משתנים
כמתים
סימנים אופציונאליים
שמות של יחסים

Question 2

הגדרת השפה

Answer 2

נבכים אטומיים - יחס אן מקומי הפועל על מספר שמות עצם
כללי יצירה - גלילה כיכוב וכימות
סדרת בנייה - סדרה סופית סדורה של סימנים כך שהאיבר הוא נב”כ אטומי או נבנה ע”י כלל היצירה
נב”כ יהיה הרכיב האחרון בסדרה

Question 3

עקרון האינדוקציה של שפת סימני היחס

Answer 3

קבוצת כל הנבכ”ים האטומיים וסגירות תחת כללי היצירה תיהיה קבוצת כל הנבכים

Question 4

אינדוקציה למופע קשור או חופשי

Answer 4

בסיס -כל המשתנים בנב”כ אטומי הם חופשיים
לשם צעדי האינדוקתיה נניח כי נתון מה קשור ואיך
איפיון בתמסיר

Question 5

משתנה חופשי וההבדל בין פסוק לנב”כ

Answer 5

משתנה הוא חופשי אםם יש לו מופע חופשי בנב”כ
פסור הוא נב”כ ללא משתניפ חופשיים

Question 6

הצבה

Answer 6

נתנון אלפא כנב”כ, שם עצם טי, ואיקס שם משתנה
ההצבה טי במקום איקס באלפא היא החלפת כל משתנה חופשי של איקס בטי
ההצבה קבילה כל עוד לא נקשר משתנה כתוצאה ממנה