关于Boole语义的真度不变性定理

基于B-赋值理论，在B为有限Boole代数的前提下，得出了三个主要结论。首先，讨论了广义Boole函数与Boole函数之间的关系。其次，得出了在有限Boole语义理论意义下的真度不变性定理。最后给出了经典逻辑系统关于有限Boole语义的完备性定理。