该文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP(X)的研究工作,对格蕴涵代数以及格值命题逻辑......

合取范式（conjunctive normal form，简称CNF）公式F是线性公式，如果F中任意两个不同子句至多有一个公共变元．如果F中的任意两个不同子句......

嘉莉在传统意义上被认为是道德沦落的"掘金者"。在物质主义盛行的美国,嘉莉欲望的产生有深刻的社会原因。其原因将从欲望的本身属......