In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics.
"در منطق ریاضی، یک سامانهٔ منطقی دارای ویژگی صحت است، اگر و فقط اگر قواعد استنباطی آن فقط فرمول هایی را ثابت کند که به لحاظ معناشناسی آن معتبر باشد.