一阶逻辑中不含相同谓词符号公式的真度研究

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘要：自真度概念被提出以来，命题逻辑的计量化得到了广泛的关注和发展。谓词逻辑的相关研究是一个难点，其中一阶逻辑的公理化真度以及程度化才刚刚起步。从文字的完全闭包及其合取的公理化真度出发，首先，证明了不含相同谓词符号广义合取式的真度计算公式；其次，通过合取范式的结构特点，证明了合取范式的真度计算公式；再次，证明了2个公式的逻辑等价性。（剩余3042字）

试读结束

目录
monitor