‫הנה עקרון (*)‬ ‫‪.

1‬‬
‫⊨)‪Σ(a1 = a1‬‬ ‫(*)‬

‫נא להראות ש (*) הוא אמתי כאשר ‪ Σ‬זה ‪.M‬‬ ‫א‪.‬‬

‫תשובה‪:‬‬
‫‪ .1‬נניח שלא‪ .‬ואז ישנו מודל ‪ M‬לפיו )‪F=[Vm[(a1 = a1‬‬
‫‪ .2‬זה אומר שישנה פונקציית הערכה לפיה‬
‫א‪ F=[Vm[(Q(a1) .‬וגם‬
‫ב‪T=[Vm[(a1) .‬‬
‫‪ .3‬לפי משפט‬
‫‪ .4‬מכאן שזה אמיתי‪.‬‬

‫נא להראות ש (*) הוא שקרי כאשר ‪ Σ‬זה ‪.SV‬‬ ‫ב‪.‬‬

‫(יש לנמק‪ ,‬שלב שלב‪ ,‬את הערך המיוחס לכל נב'ך במודלים שאתם בונים או מנסים לבנות‪).‬‬

‫תשובה‪ :‬שקף ‪ .13‬דוגמת נגד כ‪ a1‬איננו מוגדר‪.‬‬

‫זהות היא פרדיקט דו מקומי‪ ,‬אפילו אם רוצים שזה יהיה אמת לוגית‪.‬‬
‫הנה עקרון (**)‬ ‫‪.2‬‬
‫⊨)‪Σx1(x1 = x1‬‬ ‫(**)‬

‫נא להראות ש (**) הוא אמתי כאשר ‪ Σ‬זה ‪.SV‬‬ ‫א‪.‬‬

‫תשובה‪:‬‬
‫‪ .1‬נניח שלא‪.‬‬
‫‪ .2‬סתירה‬
‫‪ .3‬מכאן שאמיתי‪.‬‬

‫נא להראות ש (**) הוא אמתי כאשר ‪ Σ‬זה ‪.F‬‬ ‫ב‪.‬‬

‫תשובה‪:‬‬
‫‪ .1‬נניח שלא‪.‬‬
‫‪ .2‬סתירה‬
‫‪ .3‬מכאן שאמיתי‬
‫(יש לנמק‪ ,‬שלב שלב‪ ,‬את הערך המיוחס לכל נב'ך במודלים שאתם מנסים לבנות‪).‬‬
‫הנה עקרון (***)‬ ‫‪.3‬‬
‫‪Σ‬‬ ‫‪(a‬‬‫‪1‬‬ ‫‪=a‬‬‫‪2‬‬ ‫(⊃)‬ ‫‪Q‬‬ ‫‪(a‬‬
‫‪1 1‬‬ ‫)‬ ‫⊃‬ ‫‪Q‬‬ ‫‪(a‬‬
‫‪1 2‬‬ ‫)‬ ‫⊨‬ ‫)‬ ‫(***)‬

‫(‪ )i‬נא למצוא ‪ Σ‬שעבורו (***) הוא אמתי‪.‬‬ ‫א‪.‬‬

‫(‪ )ii‬נא להראות ש (***) אכן אמתי לגבי ה‪ Σ -‬שמצאת‬

‫תשובה‪:‬‬
‫‪M‬‬
‫(‪ )i‬נא למצוא ‪ ’Σ‬שני שעבורו (***) הוא אמתי‪.‬‬ ‫ב‪.‬‬
 ‫(‪ )ii‬נא להראות ש (***) אכן אמתי לגבי ה‪ ’Σ -‬שמצאת‪.‬‬

‫תשובה‪:‬‬
‫‪FL1‬‬

‫(‪ )i‬נא למצוא ‪ Σ‬שעבורו (***) הוא שקרי ‪.‬‬ ‫ג‪.‬‬

‫(‪ )ii‬נא להראות ש (***) אכן שקרי לגבי ה‪ Σ -‬שמצאת‪.‬‬

‫תשובה‪:‬‬
‫‪SV‬‬
‫(‪ )i‬נא למצוא ‪ ’Σ‬שני עבורו (***) הוא שקרי‪.‬‬ ‫ד‪.‬‬
‫(‪ )ii‬נא להראות ש (***) אכן שקרי לגבי ה‪ ’Σ -‬שמצאת‪.‬‬
‫(יש לנמק‪ ,‬שלב שלב‪ ,‬את הערך המיוחס לכל נב'ך במודלים שאתם בונים או מנסים לבנות‪).‬‬
‫תשובה‪:‬‬
‫‪FL2‬‬