In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that're valid with respect to its semantics. In most cases, this comes down to its rules having the property of preserving truth, but this isn't the case in general. The word derives from the Germanic 'Sund' as in gesund, meaning health. Thus the argument's sound, literally means the argument's healthy. Sound arguments An argument's sound if and only if The argument's valid… (More on Soundness)