解析（逻辑）

简介在数理逻辑和自动定理证明中，解析是一种推理规则，导致命题逻辑和一阶逻辑中的句子的反驳完全定理证明技术。对于命题逻辑，系统地应用解析规则作为公式...