论文部分内容阅读
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念，在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念,其次。基于演绎定理建立了程度化的近似推理理论,最后，提出了有限逻辑理论的相容度理论。
命题逻辑中的程度化方法
【摘 要】
：
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念，在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题
【机 构】
：
陕西师范大学数学研究所,西安交通大学基础科学研究中心,西安高技术研究所
【出 处】
：
电子学报
【发表日期】
：
2006年2期
【基金项目】
：
国家自然科学基金（No.10331010,60272022）
其他文献
目的评价显微镜下精索静脉结扎术对男性性功能改善的疗效。方法通过国际勃起功能指数-5（IIEF-5）调查问卷的方式进行研究,调查内容主要包括术前IIEF-5、血清总睾酮、黄体生成素
针对导流底孔泄洪时底孔进水口伴随发生的不良漩涡和底孔出水口明渠内形成的持续性不良水翅，通过物理模型试验的方式对其成因做详细模拟分析，提出优化方案，对其底孔结构进行改进
稳健性是数字水印的重要指标之一，为了改善水印稳健性，CDMA技术已被引入到数字水印中。但是，目前基于CDMA扩频技术的水印算法基本都是通过实验方式来确定嵌入强度以及相关参数，本
介绍了柬埔寨达岱水电站开关站T4降压变压器高零序差动保护故障,对故障原因进行了分析,其原因是两组CT间串联且极性接反。所以,正确设定两侧CT同名端,才能体现差动保护的灵敏
强干扰和低信噪比环境下，根据接收信号循环平稳特性，本文提出一种基于周期时间平均的正弦信号检测和频率线性估计算法（LSFD），可以准确估计信号频率，有效抑制干扰和噪声，且具有盲性，计
课堂互动是每一位英语教师都十分关注的课题之一。本文讨论了两个层次的英语课堂互动,即表层互动和深层互动,分析了深层互动的要求以及无法实现深层互动的原因,并在结论部分
本文介绍了对当代青年有巨大影响的后现代主义文化思潮,并具体分析了其对大学教育所产生的影响;在此基础上,提出应该从教育目标、考核方式、师生关系、科学与生活等几个方面
目的探讨经尿道单极电切镜前列腺剜除术（TUERP）与经尿道前列腺电切术（TURP）的疗效与安全性比较。方法将2014年3月至2016年2月于我院确诊的128例良性前列腺增生（BPH）患者随机分成两
成绩管理是成人高校学籍管理的重要组成部分,对提高教学质量和数学管理水平具有极为重要的作用。本文通过分析学生成绩管理中存在的问题,提出了加强成绩管理工作的建议与措施