(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.
Part or all of this entry has been imported from the 1913 edition of Webster's Dictionary, which is now free of copyright and hence in the public domain. The imported definitions may be significantly out of date, and any more recent senses may be completely missing.
Find another word for hardness. In this page you can discover 24 synonyms, antonyms, idiomatic expressions, and related words for hardness, like: fastness, firmness, security, soundness, stability, stableness, steadiness, strength, sturdiness, sureness and austerity.
The hardness came back into his eyes and he looked away.
Then her attention was called to the hardness of the one ball and the softness of the other, and she learned SOFT and HARD.
It is an ironblack, opaque mineral, with metallic lustre; hardness about 6, sp. gr.
You get used to knowing the different types of hardness and thickness.
A greater hardness is due to the presence of earthy impurities.