论文部分内容阅读
采用逻辑的方法在完备信息系统中展开讨论，通过对公式及公式语义的定义，引出了公式的语义在信息系统上均匀分布的概念。为了对此进行研究，利用Pawlak上近似定义了逻辑公式的粗糙真，其目的就是通过公式的粗糙真对公式语义的均匀分布进行分析。进而，得到了关于粗糙真的相应结论以及如何利用这些结论判定析取特征公式粗糙真的算法。在此基础上，通过信息系统的实例讨论了粗糙真在判定析取特征公式语义均匀分布的具体应用。