English Explanatory Dictionary

soundness

English dictionary entry

Meanings

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⊢φ is true, then T⊨φ must also be true, for any wff φ of logic L.

Word forms

soundness soundnesses

Etymology

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”).

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on S Russian dictionary Dahl dictionary