##### 逻辑可靠性 - 逻辑可靠性 - **逻辑可靠性**是指[[形式逻辑|逻辑系统]]推导出的公式在语义上总是真的