2022年1月24日
数理逻辑02 推演系统
摘要： 写在前面 在上一章给出了命题逻辑的语法、语义，公理化的定义，以及一种判定公式是否可满足/永真的算法，但是这还不够，因为： 并不是所有逻辑都有Decision Procedure，因此这种方法不够普遍 即使有，在有无穷多的公理时，Decision Procedure很可能没法处理无穷项的公式（算法不一 阅读全文
posted @ 2022-01-24 18:53 jjppp 阅读(390) 评论(0) 推荐(1) 编辑