出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 可靠性 |
| 释义 | 可靠性 可靠性 数理逻辑中形式系统的重要性质。指形式系统中的一切可证公式(即形式定理),都是有效的公式(即在任何解释下都为真)。例如:如果某一命题演算形式系统中的形式定理皆为重言式,则该演算是可靠的;反之,如演算推出的某些定理不是重言式,即不是真的,则该演算是不可靠的。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 可靠性 数理逻辑中形式系统的重要性质。指形式系统中的一切可证公式(即形式定理),都是有效的公式(即在任何解释下都为真)。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 可靠性 元件、产品、系统在一定时间内和一定条件下无故障地执行指定功能的能力或可能性。可通过可靠度、失效率、平均无故障间隔等来评价。 出处：信息科学卷 • 微电子 • 集成电路技术 可靠性 系统在规定的时间和条件下无故障地工作的性质。 出处：管理学卷 • 运营管理 • 质量管理 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。