soundness
nounEtymology
From Middle English soundenes, soundnes, from Old English *sundnes, *ġesundnes (attested in onsundnes), from Proto-West Germanic *sundnassī (“soundness, health”); equivalent to sound + -ness. Cognate with West Frisian sûnens (“soundness, health”), Middle Low German suntnisse (“soundness, health”), Middle High German suntnisse (“soundness, health”), German Gesundnis (“health”).
Definitions
The state or quality of being sound.
The result or product of being sound.
The property (of an argument) of not only being valid, but also of having true premises.
›+ 1 more definitionshow fewer
The property of a logical theory that whenever a wff is a theorem then it must also be…
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⊢φ is true, then T⊨φ must also be true, for any wff φ of logic L.
The neighborhood
Vish — recursive loop
No curated loop yet for soundness. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA