L*系统中的函数决定公式问题

摘要：

基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征.

关键词：L*系统、真值函数、真度

所属期刊栏目：46

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 60875034

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

页数：共3页

页码：31-33