Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Soundness
In logic and deductive reasoning, an argument is sound if it is both valid in form and has no false premises.[1] Soundness has a related meaning in mathematical logic, wherein a 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 logical semantics of the system.
- ^ Smith, Peter (2010). "Types of proof system" (PDF). p. 5.
Previous Page Next Page
