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. In most cases, this comes down to its rules having the property of preserving truth, but this isn't the case in general. Sound arguments An argument is sound if and only if the argument is valid all of its premises are true. For instance, » All men are mortal. Socrates is a man. » Therefore, Socrates is mortal. The argument is v… (More on Soundness)