L~*系统中由单个原子生成公式的真度分布

摘要：

以L~*系统为背景,针对由单个原子生成的公式,解决了公式的真度分布情况.得到任一单原子生成公式的真度必为0.1/8,2/8,3/8,…7/8,1之一.进而按照真度将由单原子生成的公式集进行了细致地分类,共分9类.

关键词：L~*系统、逻辑公式、真度

所属期刊栏目：46

分类号：O141.3(数理逻辑、数学基础)

资助基金：教育部科学技术研究重点项目the Key Scientific and Technical Research Project of Ministry of EducaIion of China under Grant 206089

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

页数：共2页

页码：31-32