论文部分内容阅读
首次在命题逻辑系统中引入理论的真度概念，将公式的真度推广为公式集的真度，从而简化了发散度的概念；进一步得出：当理论F相容时，理论的真度与相容度之间的关系为η（Г）=（1＋τ（Г））／2；在命题逻辑系统C2中，将理论Г1和Г2分为六类，分别讨论了各类中理论Г1、Г2与Г1∪Г2的真度之间的关系．
命题逻辑系统中理论的真度概念及其应用
【摘 要】
：
首次在命题逻辑系统中引入理论的真度概念，将公式的真度推广为公式集的真度，从而简化了发散度的概念；进一步得出：当理论F相容时，理论的真度与相容度之间的关系为η（Г）=（1＋τ（Г））／2；在命题
【机 构】
：
陕西师范大学数学与信息科学学院,上海市高可信计算重点实验室
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2009年5期
【基金项目】
：
国家自然科学基金资助项目（10771129）,陕西师范大学211工程建设基金资助项目
其他文献
图1所示固定支架是某电产品中的一个重要零件，材质为1．2mm厚的ST12（镀锌），批量生产。从图1可以看出，该零件上有两个φ55mm的孔，两个φ3．7mm的孔，两个椭圆状的通孔。还有一个宽316mm的
胃肠道肿瘤的是世界范围内发病率非常高的肿瘤,人一生中患该病风险为6%。早期检测是减少胃肠道肿瘤病死率的关键因素。常用的筛查手段包括内镜检查、粪便隐血试验和粪便DNA分
9月6日,秋高气爽,地处海西蒙古族藏族自治州戈壁滩深处的青海省第六地质矿产勘查院五龙沟矿区格外热闹。省委常委、省劳动竞赛委员会常务副主任、省总工会主席苏宁一行不辞辛
研究了在任意偏序集中网的序收敛和滤子的序收敛的关系,证明了Birkhoff-Frink的网的序收敛和Ern-éGatzke的滤子的强序收敛相互协调,Wolk的网的序收敛和Ern-éGatzke
10月23日，省国土资源厅党委中心组召开学习会议，认真学习了党的十七届五中全会精神。会议要求全省国土资源系统迅速全面掀起学习高潮，认真学习贯彻好十七届五中全会精神，以会议精
引入保密计算服务的概念,研究了三个具体的保密计算服务问题,提出了基于随机变换的保密计算解决方案.对广泛接受的模拟范例进行扩展,用扩展的模拟范例证明了提出的三个保密计
为提高野外工作质量，全面了解全局地勘项目野外工作进展及取得成果情况，局联合各队（院）相关技术管理人员组成2个检查组于6月21日至7月7日分别对野外项目进行了实地检查。
开腹胆囊切除术是胆管外科中最常见的手术，尤其是．基层医院在未开展腹腔镜胆囊切除术情况下的首选方法。但是由此造成的胆管损伤时有发生，国外文献报道发生率为0．07％～0．5％；国内文献报