soundness

Noun

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.313

Noun

**soundness**

- (
*uncountable*) The state or quality of being sound. - (
*countable*) The result or product of being sound. - (
*logic*) The property (of an argument) of not only being valid, but also of having true premises. - (
*logic*) The property of a logical theory that whenever a wff is a theorem then it must also be valid. Symbolically, letting*T*represent a theory within logic*L*, this can be represented as the property that whenever T \vdash \phi is true, then T \vDash \phi must also be true, for any wff*φ*of logic*L*.

- Spanish: completitud

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.313