论文研究 *系统中的函数决定公式问题 .pdf
基于L*系统，针对由两个原子生成的公式，解决了王国俊教授提出的函数决定公式问题，给出了逻辑公式真值函数的特征，进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。
下载地址
用户评论
