כל מה שרצית לדעת על נאותות:
נאותות (באנגלית: Soundness) הוא מונח המציין שתי תכונות לוגיות.
בתור תכונה של טיעון לוגי, הנאותות היא התכונה של טיעון תקף שבו כל ההנחות אמיתיות, בניגוד לטיעון תקף שכמה מהנחותיו שקריות.
בתור תכונה של מערכת לוגית אקסיומטית, נאותות היא התכונה לפיה אם נוסחה מסוימת ניתנת להוכחה מן האקסיומות על פי כללי המערכת, אזי נוסחה זו אמיתית.