נאותות – הבדלי גרסאות

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