计算机工程与应用
計算機工程與應用
계산궤공정여응용
Computer Engineering and Applications
2015年
19期
66-70
,共5页
命题逻辑%随机真度%推理规则
命題邏輯%隨機真度%推理規則
명제라집%수궤진도%추리규칙
proposition logic%randomized truth degree%inference rules
在n值Lukasiewicz命题逻辑系统中，引入命题随机真度的概念，给出了随机真度的一个计算公式，研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在n值Lukasiewicz命题逻辑系统中成立。
在n值Lukasiewicz命題邏輯繫統中，引入命題隨機真度的概唸，給齣瞭隨機真度的一箇計算公式，研究瞭命題隨機真度的若榦性質。證明瞭命題邏輯的分離規則、三段論規則以及交推理規則在n值Lukasiewicz命題邏輯繫統中成立。
재n치Lukasiewicz명제라집계통중，인입명제수궤진도적개념，급출료수궤진도적일개계산공식，연구료명제수궤진도적약간성질。증명료명제라집적분리규칙、삼단론규칙이급교추리규칙재n치Lukasiewicz명제라집계통중성립。
Using the randomization method of valuation set, the concept of randomized truth degree of formulas is intro-duced into n-valued Lukasiewicz propositional logic system. It gives a randomized truth degree’s calculation formula, and researchs its properties. The MP rule, HS rule and meet inference rules of randomized truth degree are proved.
