{{برای|صحت در زبان فارسی دری به معنای '''بهداشت'''|بهداشت}}
در [[منطق ریاضی]]، یک سامانهٔ منطقی دارای ویژگی '''استواریصحت''' {{به انگلیسی|Soundness}} یا صحت'''درستی''' است، [[اگر و فقط اگر]] [[قواعد استنباط|قواعد استنباطی]] آن فقط فرمولهایی را ثابت کند که به لحاظ [[معناشناسی]] آن معتبر باشد. در بیشتر موارد، آنچه در این باره مهم است این است که قاعدههای آن درست باقی بمانند، اما بهطور کلی همیشه اینطور نیست. کلمهٔ soundness از کلمهٔ المانی 'sund' از '''Gesundheit'''، به معنای سلامتی گرفته شدهاست. لذا برای اینکه بگوییم یک [[استدلال]] صحیح است به معنای این است که، طبق ریشه یابی، بگوییم آن استدلال سالم است.
اگر استدلالی بخواهد موجه باشد، باید هم [[اعتبار (منطق)|معتبر]] باشد و هم '''استواردرست''' {{به انگلیسی|Sound}}.<ref>[https://books.google.com/books?id=_uIzDwAAQBAJ&pg=PT105&lpg=PT105&dq=valid+sound+%D9%81%D9%84%D8%B3%D9%81%D9%87+%D8%A7%D8%B3%D8%AA%D8%AF%D9%84%D8%A7%D9%84&source=bl&ots=NlDRn4xIaA&sig=ACfU3U0nA0Ed5Ei_szekDMd0anCqKtPczA&hl=en&sa=X&ved=2ahUKEwjUw9TX8_jjAhXKwcQBHe3aD9sQ6AEwAXoECAkQAQ#v=onepage&q=valid%20sound%20%D9%81%D9%84%D8%B3%D9%81%D9%87%20%D8%A7%D8%B3%D8%AA%D8%AF%D9%84%D8%A7%D9%84&f=false در باب فلسفه تحلیلی: با محوریت ویتگنشتاین]، سروش دباغ، پانویس صفحه ۱۰۰.</ref>