可靠性
可

可靠性　　　kě kào xìng

一個(gè)系統(tǒng)（設(shè)備、部件或元件）在規(guī)定的時(shí)間和條件下無故障地工作的性質(zhì)。見“可靠性理論”。
數(shù)理邏輯上指形式系統(tǒng)中的一切可證公式（即形式定理），都是有效的公式（即在任何解釋下都為真）。