二值命题逻辑中逻辑推理的有效度

发布时间：2018-12-15 00:06

【摘要】：本文以公式真度概念为基础,给出了二值命题逻辑系统中公式由理论逻辑推出的有效度概念及计算方法,讨论了在基本逻辑运算下理论的有效结论问题以及同一理论的结论的相似问题。
[Abstract]:Based on the concept of true degree of formula, this paper gives the concept of validity and calculation method of formula derived from theoretical logic in binary propositional logic system. In this paper, we discuss the efficient conclusion of the theory under the basic logic operation and the similarity problem of the conclusion of the same theory.
【作者单位】： 青岛大学;
【分类号】：O141.1

【相似文献】

相关期刊论文 前10条

1 王廷明;;有限理论结论基于根的余式和结论集的表示[J];青岛大学学报(自然科学版);2011年02期

2 李启建;;浅谈高职离散数学的教法体会[J];出国与就业(就业版);2011年12期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前2条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

2 梁丹然;;加入最优动作选择规则的扩展的图规划[A];科技、工程与经济社会协调发展——中国科协第五届青年学术年会论文集[C];2004年

相关硕士学位论文 前5条

1 王礼萍;理想的Groebner基与特征列[D];吉林大学;2008年

2 孙焱平;模糊逻辑中蕴涵算子的构造[D];南昌大学;2010年

3 肖华;DPLL到（1，，1）-消解的转换及其复杂性分析[D];贵州大学;2006年

4 姚雷博;MAX～+（2）公式改名的复杂性[D];贵州大学;2007年

5 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

本文编号：2379559