摘要
基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。
Based on the truth degree of proposition logic theory, the problem of proposition reduction of two-valued proposition logic was disscused. The concepts of truth degree reduction and a-truth degree reduction were advised, which offer a feasible method to calculate proposition reduction.
出处
《模糊系统与数学》
CSCD
北大核心
2010年第1期66-70,共5页
Fuzzy Systems and Mathematics
基金
陕西科技大学自然科学基金资助项目(ZX07-37)
陕西省教育厅科研研究计划项目(08JK236)
关键词
Boole函数
公式真度
公式集约简
α-真度约简
近似推理
Bollean Function
The Truth Degree of Formula
Proposition Reduction
α-truth Reduction
Approximate Reasoning
