soundness theorem的意思|示意
美 / /
英 / /
可靠性定理
soundness theorem的网络常见释义
可靠性定理 ... 语义 semantics 可靠性定理 soundness theorem 完备性定理 completeness theorem ...
性定理 此语言的核心在于 OE 和 AO 两个不确定函数,文献[3]还提出并证明了两个定理:合理性定理(soundness theorem)和完全性定理(completeness theorem),以说明 RCL2000 和严格形式的一阶谓词逻辑(RFOPL)的等价性.