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

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

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

הוכחה מתוך הנחות

בהינתן קבוצת הנחות plot:\[\Sigma \] (קבוצת פסוקים plot:\[\Sigma \]), אזי קבוצת המסקנות של plot:\[\Sigma \], המסומנת בתור plot:\[Ded\left( \Sigma  \right)\] הינה הקבוצה האינדוקטיבית שבסיסה הוא אקסיומותplot:\[\Sigma  \cup \], והסגור שלה הוא plot:\[\left\{ {MP} \right\}\].

נסמן ב- plot:\[\Sigma  \vdash \alpha \] את הטענה ש-plot:\[\alpha \] שייך לקבוצת המסקנות של plot:\[\Sigma \], ונאמר ש-plot:\[\alpha \] יכיח מתוך plot:\[\Sigma \].

סדרת הוכחה לפסוק plot:\[\alpha \] מתוך קבוצת הנחות plot:\[\Sigma \] היא סדרה סופית plot:\[{\alpha _1},...,{\alpha _n}\] ך ש-plot:\[{\alpha _n} = \alpha \] ולכל plot:\[1 \leqslant i \leqslant n\] מתקיים כי plot:\[{\alpha _i}\] הוא או אקסיומה או הנחה או התקבל על ידי plot:\[MP\] על פסוקים קודמים בסדרה.

תגיות המסמך:

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

תיקון

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

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