Editing Soundness (section)

{{Short description|Term in logic and deductive reasoning}}
In [[logic]] and [[deductive reasoning]], an [[argument]] is '''sound''' if it is both [[Validity (logic)|valid]] in form and has no false [[premise]]s.<ref>{{Cite web |url=http://www.logicmatters.net/resources/pdfs/ProofSystems.pdf |title=Types of proof system |last=Smith |first=Peter |date=2010 |page=5}}</ref> Soundness has a related meaning in [[mathematical logic]], wherein a [[Formal system|formal system of logic]] is sound [[if and only if]] every [[well-formed formula]] that can be proven in the system is logically valid with respect to the [[Semantics of logic|logical semantics]] of the system.