נאותות – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
←נאותות של טיעון: תיקון לשפה יותר קריאה וברורה (החלפת "או אז" ב "גם אז") |
מ ביטול קישור מדף לעצמו# |
||
שורה 23:
* [[עקביות (לוגיקה)|עקביות]] (consistency) - זוהי תכונתן של מערכות לוגיות שאין סתירה בין אי אלו מן הטענות המוכלות בהן
* [[שלמות]] (completeness) - זוהי תכונתן של מערכות לוגיות שבהן לגבי כל נוסחה אמיתית, ניתן לספק לה הוכחה מן האקסיומות.
*
הוכחות לשלמות ולנאותות מעידות על הזיקה שבין התחביר (סינטקס) והסמנטיקה של המערכת. התחביר קובע איזו נוסחה היא תיאורמה (או משפט), דהיינו איזו נוסחה ניתנת לגזירה מן האקסיומות, באמצעות כללי ההיסק. הסמנטיקה קובעת איזו נוסחה היא [[טאוטולוגיה (לוגיקה)|טאוטולוגיה]], דהיינו איזו נוסחה היא אמיתית בהכרח מכוח משמעותם של המונחים המקושרים בה והאופן בו הם מקושרים. לפי הגדרות אלו, למערכת יש שלמות, כאשר כל טאוטולוגיה היא גם תאורמה. למערכת יש נאותות, כאשר כל תאורמה היא טאטוטלוגיה.
| |||