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

作者：袁彦莉 李成允 张兴芳真值函数真度

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社