|
|
מכיוון שהתחביר של ע מייצר אינסוף משפטים , כדי לחשב את תנאי האמת שלהם 0 נצטרך אלגוריתם רקורסיבי . איך האלגוריתם הזה יעבוד ? נתחיל מהביטויים הפשוטים ביותר , דהיינו המילים . לכל מילה ב ע נייחס ערך סמנטי יחסית למצב עניינים כלשהו 0 = ) v ההוראה של המילה במצב העניינים . ( v האלגוריתם שלנו יחשב בצורה רקורסיבית את הערכים הסמנטיים של כל הצירופים ב ע במצב העניינים v על סמך הערכים 0 הסמנטיים של חלקיהם במצב העניינים v והמבנה שלהם . נניח ( בעקבות פרגה ) שהערך הסמנטי של משפט במצב עניינים v הוא " ) 1 אמת " ) או " ) 0 שקר " ) , ועבור משפט , האלגוריתם יגיד לנו מתי הערך הסמנטי שלו יהיה 1 במצב עניינים , v ומתי הוא יהיה , 0 כלומר מהם תנאי האמת של המשפט במצב העניינים . v הערכים הסמנטיים של המילים : מקרא לנוטציות : - ⟩⟨ הסוגריים המרובעים הכפולים מציינים ערך סמנטי . אם a הוא ביטוי כלשהו בשפה , ⟩ a ⟨ הוא הערך הסמנטי של a במצב עניינים . v כל מה שכתוב בתוך הסוגריים הללו הם ביטויים של ע , כל מה שכתוב מחוץ לסוגריים הללו הוא חלק 0 מן המטא שפה ( שילוב של עברית , תמונות וסימנים מתמטיים ) . { – { סוגריים מסולסלים מצי...
To the book |
|
|