英和和英

名詞

soundness (countable かつ uncountable, 複数形 soundnesses)

1. (uncountable) The state or quality of being sound.
2. (countable) The result or product of being sound.
3. (logic) The property (of an argument) of not only being valid, but also of having true premises.
4. (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 ${\displaystyle T\vdash \phi }$ is true, then ${\displaystyle T\vDash \phi }$ must also be true, for any wff φ of logic L.

引用

• 1611, The Holy Bible, […] (King James Version), London: […] Robert Barker, […], OCLC 964384981, Isaiah 1:6:

  From the ſole of the foote, euen vnto the head, there is no ſoundnesse in it; but wounds, and bruises, and putrifying ſores: they haue not beene closed, neither bound vp, neither mollified with oyntment.