G(o)del中单个或两个原子生成公式的真度分布

摘要：

以Godel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题.得到任一由单个或两个原子生成的公式的真度必为0,1/6,2-6,1/2,4/6,5/6,1之一.进而按照真度将由单原子或两个廉子生成的公式集进行了细致的分类.

关键词：Godel系统、逻辑公式、真度

所属期刊栏目：45

分类号：TP273.4(自动化技术及设备)

资助基金：教育部科学技术研究重点项目206089

在线出版日期：2009-06-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：56-57