Soundness

English

Etymology

From Template:Inh, Template:M, from Template:Inh, Template:M (attested in Template:M), from Template:Inh; equivalent to Template:Suf. Cognate with Template:Cog, Template:Cog, Template:Cog, Template:Cog.

Noun

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

Quotations

• Template:RQ:King James Version

Translations

• Irish: Template:T
• Norwegian:

  Nynorsk: Template:T, Template:T, Template:T, Template:T

• Romanian: Template:T+, Template:T+, Template:T+

• Norwegian:

  Nynorsk: Template:T, Template:T, Template:T, Template:T

• Romanian: Template:T+

• Catalan: Template:T+
• Spanish: Template:T+