文件名称:论文研究-Π系统中公式的真值函数及真度分布.pdf
文件大小:308KB
文件格式:PDF
更新时间:2022-09-26 14:25:19
论文研究
以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。
文件名称:论文研究-Π系统中公式的真值函数及真度分布.pdf
文件大小:308KB
文件格式:PDF
更新时间:2022-09-26 14:25:19
论文研究
以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。