درستی (منطق)
From Wikipedia, the free encyclopedia
در منطق ریاضی، یک سامانهٔ منطقی دارای ویژگی صحت (به انگلیسی: Soundness) یا درستی است، اگر و فقط اگر قواعد استنباطی آن فقط فرمولهایی را ثابت کند که به لحاظ معناشناسی آن معتبر باشد. در بیشتر موارد، آنچه در این باره مهم است این است که قاعدههای آن درست باقی بمانند، اما بهطور کلی همیشه اینطور نیست. کلمهٔ soundness از کلمهٔ المانی 'sund' از Gesundheit، به معنای سلامتی گرفته شدهاست. لذا برای اینکه بگوییم یک استدلال صحیح است به معنای این است که، طبق ریشه یابی، بگوییم آن استدلال سالم است.
برای صحت در زبان فارسی دری به معنای بهداشت، بهداشت را ببینید.
اگر استدلالی بخواهد موجه باشد، باید هم معتبر باشد و هم درست (به انگلیسی: Sound).[1]