JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE) ›› 2013, Vol. 43 ›› Issue (2): 101-104.

• Articles • Previous Articles     Next Articles

Uncertainty degree and falsity degree accumulation theoremin two-valued propositional logic system

HUI Xiao-jing, ZHENG Feng-xian, REN Pan-long, GAO Qing-qing   

  1. College of Mathematics and Computer Science, Yan’an University, Yan’an 716000, China
  • Received:2012-12-05 Online:2013-04-20 Published:2012-12-05

Abstract:

The falsity degree of a formular was defined according to the randomized truth degree of a formular in two-valued propositional logic, and the falsity degree accumulation theorem was proved by using the  deduction theorem, that was, the falsity degree of the conclusion was not more than the falsity degrees of the premises in valid reasoning, and thus the accumulation theorem could give the truth degree relations between premises and conclusions. Finally, the uncertainty degree accumulation theorem was compared with the falsity degree accumulation theorem, and the results showed that  the two theorems were different  expression forms.

Key words: two-valued propositional logic system, valid reasoning, probability, randomized truth degree, falsity degree

CLC Number: 

  • O141
[1] LIU Zhiqing, GAO Haohan, AN Molin, ZHANG Xuekai. Project schedule optimization based on critical chain method with modified completion probability [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2018, 48(1): 104-111.
[2] PEI Xiaobing, CHEN Huifen, ZHANG Baizhan, CHEN Menghui. Improved bi-variables estimation of distribution algorithms for multi-objective permutation flow shop scheduling problem [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2017, 47(4): 25-30.
[3] ZHAO Jianfeng, LI Hongyi, LIU Suwen. Seismic performance of RC pier with reinforcement corrosion [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2017, 47(3): 112-118.
[4] LIU Yingxia, WANG Xichang, TANG Xiaoli, CHANG Faliang. Object detection algorithm based on Bayesian probability estimation in wavelet domain [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2017, 47(2): 63-70.
[5] ZHANG Yuling, YIN Chuanhuan. Android malware detection based on SVM [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2017, 47(1): 42-47.
[6] LIU Xiaoming, NIU Xinsheng, ZHANG Yi, CAO Benqing, SHI Xiaohan,ZHANG Youquan, ZHANG Jie, AN Peng, WANG Yuan. Analysis of spatial and temporal distribution of wind power output and variation characteristics based on NASA observation data [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2016, 46(4): 111-116.
[7] WANG Xiaochu, WANG Shitong, BAO Fang. Image classification algorithm based on minimax probability machine with regularized probability density concensus [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2015, 45(5): 13-21.
[8] XU Lingwei, ZHANG Hao, GULLIVER T A. Performance analysis of TAS/SEC system under N-Nakagami fading channels [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2015, 45(4): 84-90.
[9] ZHANG Xin-ming, MAO Wen-tao, LI Zhen-yun. Two-dimensional Otsu image thresholding based on second order generalized probability [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2012, 42(1): 25-33.
[10] SHI Hai-dong, HU Dong-mei, WANG Xiao-dong. Statistical analysis of delay spread in distributed antenna systems [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2012, 42(1): 133-142.
[11] WANG Shou-qiang1, ZHU Da-ming2, SHI Shi-ying1. Improved approximation Algorithm for the k-means Clustering Problem [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2011, 41(4): 125-132.
[12] DIAO Wen-Zhong, SHI Jun. Study of power system probability security assessment incomplex power injection space [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2009, 39(6): 135-138.
[13] GAO Qing-zheng,CHEN Chuan-xiang,XIE Xue-jun . Output-feedback adaptive control for a class of stochastic nonlinear time varying delay systems [J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2007, 37(5): 11-18 .
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!