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

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

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

מערכות הוכחה פורמלית

מערכת הוכחה היא מבנה שמוגדר באינדוקציה:

  1. אקסיומות – טענות שתמיד נכונות – תמיד ניתן להשתמש בהן.
  2. כללי הסק – כללים בעזרתם מסיקים טענות חדשות מטענות קודמות.
  3. קבוצת המשפטים הפורמליים: הקבוצה האינדוקטיבית המוגדרת על ידי:

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

תגיות המסמך:

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

תיקון

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

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