可靠性

可靠性   kě kào xìng


一个系统(设备、部件或元件)在规定的时间和条件下无故障地工作的性质。见“可靠性理论”。
数理逻辑上指形式系统中的一切可证公式(即形式定理),都是有效的公式(即在任何解释下都为真)