Loading

2021年10月27日
存在形前束范式
摘要： 谓词逻辑任意公式 A，都可化成相应的存在前束范式，并且 A 是普遍有效的当且仅当其存在签署范式也是普遍有效的。 阅读全文
posted @ 2021-10-27 15:12 tuagoale 阅读(627) 评论(0) 推荐(0)