论文部分内容阅读
在模糊命题系统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）
其他文献
在我国，慢性肝病是严重影响人民健康的最常见疾病之一。近几年来，由于对病毒性肝炎预防措施的实施以及饮食结构的变化，肝脏疾病谱发生了一定的变化，慢性乙型肝炎的流行率有所下降
“侠”的形象塑造与人格建构是武侠小说创作的关键。金庸依据传统文化思想和现代文化观念,创造了“英雄”与“大侠”的人格形象,满足了现代读者的精神渴望和心理需求。
＂有序＂数据指的是数据间具有特定优先级关系的一类数据。降低＂有序＂数据传输时的排序时延和解码时延是提高＂有序＂数据业务的用户服务体验的关键问题。在非理想反馈条件下,基站仅能
研究菜籽油脂肪酸结构、组成特性、提出菜籽油“预酯化－醇馏－蒸馏”工艺路线，试验研究表明，该工艺具有工艺合理、技术易地产品纯度高、收率高、副产品附加值高、投资省。对各种油