有限Boole代表相关硕士博士期刊学术论文

以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论；证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boo......