soundness

English

Etymology

From sound +‎ -ness

Noun

soundness (countable and uncountable, plural 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 $T\vdash \phi$ is true, then $T\vDash \phi$ must also be true, for any wff φ of logic L.

Quotations

• Template:RQ:Authorised Version

Translations

the state or quality of being sound

• Irish: folláine f
• Norwegian:

  Nynorsk: heilskap m, traustleik m, rettkomenskap m, rettvise f

• (deprecated template usage) {{trans-mid}}
• Romanian: trăinicie (ro) f, soliditate (ro) f, robustețe (ro) f

the result or product of being sound

• Norwegian:

  Nynorsk: heilskap m, traustleik m, rettkomenskap m, rettvise f

• (deprecated template usage) {{trans-mid}}
• Romanian: soliditate (ro) f

the property of logical theory

• Catalan: completesa
• (deprecated template usage) {{trans-mid}}
• Spanish: completitud f