اطلاعات مرتبط با تیتر زیر را جمع‌آوری کنید و یک خبر کوتاه بنویسید

تیتر: استواری
خبر:
در منطق ریاضی ، یک سامانهٔ منطقی دارای ویژگی صحت (به انگلیسی : soundness) یا درستی است ، اگر و فقط اگر قواعد استنباطی آن فقط فرمول‌هایی را ثابت کند که به لحاظ معناشناسی آن معتبر باشد . در بیشتر موارد ، آنچه در این باره مهم است این است که قاعده‌های آن درست باقی بمانند ، اما به‌طور کلی همیشه اینطور نیست . کلمهٔ soundness از کلمهٔ المانی 'sund' از gesundheit ، به معنای سلامتی گرفته شده‌است . لذا برای اینکه بگوییم یک استدلال صحیح است به معنای این است که ، طبق ریشه یابی ، بگوییم آن استدلال سالم است .