درستی (منطق): تفاوت میان نسخه‌ها

در [[منطق ریاضی]]، یک سامانهٔ منطقی دارای ویژگی '''استواری''' {{به انگلیسی|Soundness}} یا صحت است، [[اگر و فقط اگر]] [[قواعد استنباط|قواعد استنباطی]] آن فقط فرمول‌هایی را ثابت کند که به لحاظ [[معناشناسی]] آن معتبر باشد. در بیشتر موارد، آنچه در این باره مهم است این است که قاعده‌های آن درست باقی بمانند، اما به‌طور کلی همیشه اینطور نیست. کلمهٔ soundness از کلمهٔ المانی 'sund' از '''Gesundheit'''، به معنای سلامتی گرفته شده‌است. لذا برای اینکه بگوییم یک [[استدلال]] صحیح است به معنای این است که، طبق ریشه یابی، بگوییم آن استدلال سالم است.