Ⅱ系统中公式的真值函数及真度分布

摘要：

以Ⅱ系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况.

关键词：Ⅱ系统、逻辑公式、真值函数、真度

所属期刊栏目：45

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

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

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

页数：共2页

页码：39-40