二值命题逻辑中Γ限制蕴涵度量与近似推理

基于某信息限制下若A则B的推理思想,以真度为基础,在二值命题逻辑系统中引入有限信息限制下的公式蕴涵度概念,由此定义了信息限制蕴涵度量,并通过信息限制蕴涵度量的真度表示式,给出一系列与有限理论结论集相关的限制蕴涵度量不等式,对二值命题逻辑中基于信息限制蕴涵度量的近似推理问题进行讨论。