摘要
基于条件概率的思想,借助于各个逻辑系统中的演绎定理,在W3、G3、Π3、L3等三值逻辑系统中引入了条件真度的概念,并得到了条件真度的性质及相应的推理规则。
Firstly,the conditional truth degree of formulas in 3-valued Logic Systems W3、G3、Π3、L3 is proposed on the idea of conditional probability.Then the corresponding properties and inferential rule of Conditional Truth Degree are discussed.
出处
《潍坊学院学报》
2009年第4期77-80,共4页
Journal of Weifang University
基金
国家自然科学基金项目(60774100)
山东省自然科学基金项目(Y2007A15)
关键词
三值逻辑系统
真度
条件真度
真度推理规则
3-valued logic systems
truth degree
conditional truth degree
truth degree inferential rule
