(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 is true, then must also be true, for any wff Ï† of logic L.
the state of being vigorous and free from bodily or mental disease
Find another word for healthiness. In this page you can discover 10 synonyms, antonyms, idiomatic expressions, and related words for healthiness, like: health, wholeness, soundness, good health, ill-health, wholesomeness, pleasantness, healthfulness, heartiness and haleness.