soundness 中文
EN中稳健 维可靠性定理
- 可靠性定理(或健全性)是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体:弱可靠性的和强可靠性的。“强”与“弱”的意义在于,强可靠性考虑句子的任意集合,而与弱可靠性有关的句子的空集是这种集合之一。
- 名词 (Noun)PLsoundnessesSUF-ness
- (uncountable) The state or quality of being sound.
- (countable) The result or product of being sound.
- (logic) The property (of an argument) of not only being valid, but also of having true premises.
- (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.
- (uncountable) The state or quality of being sound.
- 更多范例
- 用于句中
- to test the soundness of a principle; to test the validity of an argument
- 用于句中
Definition of soundness in English Dictionary
- 词类阶层 (Part-of-Speech Hierarchy)
- 語素
- 字尾
- 字尾词
- Words suffixed with -ness
- Words suffixed with -ness
- 由形容词与名词形成字尾的名词
- Words suffixed with -ness
- Words suffixed with -ness
- 字尾词
- 字尾
- 名词
- 可数名词
- 单数形态
- 不可数名词
- 不可数名词
- 可数名词
- 語素
- en soundnesses
资料来源: 维基词典