הועלה לאתר:  
מספר עמודים: 25
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

לוגיקה - סיכום נקודות

סיכום מאת: ניר אדר

Renaming של משתנים קשורים

מוטיבציה: נניח נתון plot:\[\forall {v_1}R\left( {{v_1},{v_1}} \right)\], אם היינו משנים ל-plot:\[\forall {v_8}R\left( {{v_8},{v_8}} \right)\] לא היה משתנה כלום. לעומת זאת, אם נתון plot:\[\forall {v_1}R\left( {{v_1},{v_2}} \right)\], אזי שינוי ל-plot:\[\forall {v_2}R\left( {{v_2},{v_2}} \right)\] משנה את המשמעות.

תהי plot:\[s\] פונקצית הצבה מהמשתנים למשתנים עבורה לכל plot:\[i \ne j\] מתקיים plot:\[s\left( {{v_j}} \right) = {v_j}\] (plot:\[s\] משנה את plot:\[{v_i}\] בלבד). אם plot:\[s\left( {{v_i}} \right)\] לא מופיע ב-plot:\[\varphi \] אז: plot:\[\forall {v_i}\varphi  \equiv \forall s\left( {{v_i}} \right)sub\left( {\varphi ,s} \right)\] ו-plot:\[\exists {v_i}\varphi  \equiv \exists s\left( {{v_i}} \right)sub\left( {\varphi ,s} \right)\].

תגיות המסמך:

לפרק הקודםמושגי יסוד סמנטיים
לפרק הבאPronex Normal Form
מאת: bentz

תיקון

מציעה להחליף את
(a¬)
ב
a¬
שכן (a¬) אינו פסוק
מאת: משה ב

סמנטיקה
שיתוף:
| עוד