עקביות (לוגיקה) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
קישור בחזרה לעקביות.
אין תקציר עריכה
שורה 1:
ערך זה מדבר על{{פירוש נוסף|נוכחי=עקביות בלוגיקה.|אחר=עקביות לשימושיםבתחומים אחרים, ראה |ראו=[[עקביות]].}}
 
'''עקביות''' (או- '''קונסיסטנטיות''', '''קוהרנטיות''') הוא מושג ב[[לוגיקה]] ו[[מתמטיקה]] המציין שאין סתירה במערכת מסוימת. סתירה במערכת הנחות של [[השערה (מתמטיקה)|השערה]] או [[טיעון]] תביא להטלת ספק בנכונות המסקנה הנגזרת מהם.