论文部分内容阅读
在模糊命题系统Ln^＊中,利用公式A的原子公式集SA与有限理论Γ的原子公式集SΓ之间的关系,讨论了公式A的ΣΓ-真度,给出了当SΓSA和SA∩SΓ=Φ时τΓ（A）的简单表示形式。利用这些结论,给出了当SΓSA时ΣΓ-真度的一些性质的简单证明。
逻辑系统Ln^＊中一类特殊公式的ΣΓ-真度
【摘 要】
：
在模糊命题系统Ln^＊中,利用公式A的原子公式集SA与有限理论Γ的原子公式集SΓ之间的关系,讨论了公式A的ΣΓ-真度,给出了当SΓSA和SA∩SΓ=Φ时τΓ（A）的简单表示形式。利用这
【机 构】
：
西安文理学院信息工程学院数学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2016年11期
【基金项目】
：
西安市科技计划项目（No.CXY1443WL29）
其他文献
在我国，慢性肝病是严重影响人民健康的最常见疾病之一。近几年来，由于对病毒性肝炎预防措施的实施以及饮食结构的变化，肝脏疾病谱发生了一定的变化，慢性乙型肝炎的流行率有所下降
本文报告对肿瘤性黄疸病人行PTC86例,PTBD30例的临床体会。指出PTC方法简单、成功率高、合并症少。PTBD治疗梗阻黄疸作用分为术前减黄和姑息外引流两方面。尤其是不需X线设备
对普钙生产过程中减少和控制产品水分的方法进行探讨，针对小普钙厂控制产品水分提出了一些可行的方法。
本文介绍了用免疫单向琼脂扩散方法,检测良、恶性乳腺组织胞液中的SIgA含量。结果,SIgA(μg/ml)含量:正常乳腺组织为9.4;良性乳腺组织为7.8,两者无显著意义(P.05)。恶性乳腺
<正> 1997年是水利人才开发年,水利要发展,人才是关键。正确的价值观是水利人才的必备条件,否则便谈不上是真正的水利人才。在世纪之交探讨水利青年职工的价值观,对于开发水
“侠”的形象塑造与人格建构是武侠小说创作的关键。金庸依据传统文化思想和现代文化观念,创造了“英雄”与“大侠”的人格形象,满足了现代读者的精神渴望和心理需求。
＂有序＂数据指的是数据间具有特定优先级关系的一类数据。降低＂有序＂数据传输时的排序时延和解码时延是提高＂有序＂数据业务的用户服务体验的关键问题。在非理想反馈条件下,基站仅能
研究菜籽油脂肪酸结构、组成特性、提出菜籽油“预酯化－醇馏－蒸馏”工艺路线，试验研究表明，该工艺具有工艺合理、技术易地产品纯度高、收率高、副产品附加值高、投资省。对各种油
艾滋病(AIDS)是获得性免疫缺陷综合征(acquired immuno-deficiency syndrome)的简称,是由人类免疫缺陷病毒(humn immuno-deficiency virus,HIV)感染所引起的一种传染病.自198