soundness

Etymology
From, , from , (attested in ), from ; equivalent to. Cognate with 🇨🇬, 🇨🇬, 🇨🇬, 🇨🇬.

Noun

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

Translations

 * Irish: folláine
 * Norwegian:
 * Nynorsk: heilskap, traustleik, rettkomenskap, rettvise
 * Romanian:, ,


 * Norwegian:
 * Nynorsk: heilskap, traustleik, rettkomenskap, rettvise
 * Romanian:


 * Catalan:
 * Spanish: