计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (14): 56-57.DOI: 10.3778/j.issn.1002-8331.2009.14.015
李友雨,张兴芳,李成允
LI You-yu,ZHANG Xing-fang,LI Cheng-yun
摘要: 以Gödel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0,1/6,2/6,1/2,4/6,5/6,1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。