论文部分内容阅读
在n值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在n值Lukasiewicz命题逻辑系统中成立。
命题公式的随机真度与推理规则
【摘 要】
：
在n值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理
【机 构】
：
桂林航天工业学院理学部
【出 处】
：
计算机工程与应用
【发表日期】
：
2015年19期
【基金项目】
：
广西壮族自治区教育厅科研项目（No.桂教科研[2011]14号）.
其他文献
本文对基于Socket的编程方法进行了描述,并给了客户/服务器程序的JAVA语言实现的总体框架.
本文通过 SEM 和 x-射线衍射及镀层的线性极化技术研究 Zn-Fe 合金镀层(含 Fe 0.2～0.7%)的抗蚀机理.
系统总结了城区产业结构和企业布局调整、城市环境综合治理以及城郊及其北部生态系统建设等,进一步分析了城市生态环境建设对区域经济发展的促进作用,并利用定量方法测定了大
本文首次报道采用MA方法制备了具有新结构的纳米合金材料SiTi3．通过X射线衍射、透谢电镜、扫描电镜等手段对样品进行了特性研究．
摘 要：在坦克散热窗表面风压测量实验中，由于空气柱谐振及阻尼作用等因素的影响，风压信号经过取样管路后会发生畸变。为在时域对风压畸变信号进行修正，设计递归滤波器，同时构建脉动压力测试系统对递归滤波器的修正效果进行验证，并且采用正弦脉动激励法探究不同弹性模量测压管道的频响特性。实验结果表明：采用递归滤波法修正测压管路畸变信号是可行的；当滤波器阶数为9时，修正效果最为理想且计算量小；递归滤波器对较长的测
美国心理学家弗拉维尔（Flavell）把元认知定义为一个人所具有的关于自己思维活动和学习活动的认知及控制,是调节认知过程的认知活动.问题是数学的心脏,＂学习数学的主要目的在于问
利用 RAPD 技术对 25°N 野生大豆种群 16 个样本进行分子标记.从 150 多个 RAPD 引物中筛选出具有多态性的引物 20 个,共扩增出 146 条带,其中具有多态性带 60 条,点 40