摘要
以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。
This paper gives a characterization of the truthfunctions associated with formulas generated by one atom based on Π system.Furthermore,the detailed classificationsof F（p） are provided.
出处
《计算机工程与应用》
CSCD
北大核心
2009年第15期39-40,共2页
Computer Engineering and Applications
基金
教育部科学技术研究重点项目No.206089~~
关键词
Π系统
逻辑公式
真值函数
真度
Π system
logical formula
truth function
truth degree
