soundness
n. 完全坚固, 稳固, 公正 [机] 无疵
词形变化
教材释义与例句
健康;稳固;完整;公正
释义与例句
-
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.
可数 不可数 数学 哲学
词汇关系
同义词 3
反义词 1
上位词 5
下位词 4
词源
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”).
来源:wiktionary