文件名称:论文研究-命题公式的随机真度与推理规则.pdf
文件大小:513KB
文件格式:PDF
更新时间:2022-09-27 12:31:39
论文研究
在[n]值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在[n]值Lukasiewicz命题逻辑系统中成立。
文件名称:论文研究-命题公式的随机真度与推理规则.pdf
文件大小:513KB
文件格式:PDF
更新时间:2022-09-27 12:31:39
论文研究
在[n]值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在[n]值Lukasiewicz命题逻辑系统中成立。