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

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

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

גדירות של מבנים

בהינתן פסוק plot:\[\varphi \] נגדיר plot:\[Mod\left( \varphi  \right)\] להיות אוסף המבנים המספקים את plot:\[\varphi \]: plot:\[Mod\left( \varphi  \right) = \left\{ {M|M \vDash \varphi } \right\}\].

בהינתן קבוצת פסוקים plot:\[\Sigma \] נגדיר plot:\[Mod\left( \Sigma  \right)\] להיות אוסף המבנים המספקים את plot:\[\Sigma \]:

plot:\[Mod\left( \Sigma  \right) = \left\{ {M|M \vDash \Sigma } \right\}\]

קבוצת פסוקים plot:\[\Sigma \] מגדירה את plot:\[Mod\left( \Sigma  \right)\] (plot:\[M\left( \Sigma  \right)\]).

השאלה שנשאל היא: בהינתן קבוצת מבנים plot:\[K\], האם קיימת קבוצת פסוקים plot:\[\Sigma \] כך ש-plot:\[K = Mod\left( \Sigma  \right)\]?

אם קיימת, נאמר כי plot:\[K\] גדירה. לדוגמא: plot:\[\tau  = \left\langle {{R_{2,0}}} \right\rangle \],{plot:\[{R^M}\] יחס סימטרי plot:\[K = \{ M|\].

הפסוק plot:\[\forall {v_0}\forall {v_1}\left( {{R_{2,0}}\left( {{v_0},{v_1}} \right) \to {R_{2,0}}\left( {{v_1},{v_0}} \right)} \right)\] מגדיר את plot:\[K\].

EOF

תגיות המסמך:

לפרק הקודםגדירות של יחסים במבנה
לוגיקה למסמכים נוספים בתחום
מאת: bentz

תיקון

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

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