הבדלים בין גרסאות בדף "נאותות"

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