【摘 要】
：
给出了（F（S）,ρ）中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了（F（S′）,ρ）中公式的限制逻辑等价概念,建立了一种等价关系.作
【机 构】
：
青岛大学国际学院,青岛大学师范学院,青岛大学信息工程学院
【基金项目】
：
国家自然科学基金资助项目（11002075）.
论文部分内容阅读
给出了（F（S）,ρ）中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了（F（S′）,ρ）中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了（F（S）,ρ）中基于真度的τ（A→X）=α型逻辑方程的解集,利用限制逻辑等价关系进行的一种相等＂直径＂的子集划分结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供了方法.
其他文献
铝酸三钙（3CaO·Al_2O_3,简称C_3A）是硅酸盐水泥熟料中4种主要矿物成分之一,其水化快、凝结快,早期强度较高,3d发挥出大部分强度,后期不增长,甚至倒缩;水化热高,干缩变形大
女性职业生涯阻隔作为一种应人本主义思潮而被关注的现象，无论在高校还是在企业都普遍存在。但是，由于两者组织性质的不同，决定了高校和企业女性职业生涯阻隔现象有很大差异。本
讨论了对称空间SL（n，C）／SU（n）中的曲面．首先，讨论了H^3（-c^2）中的CMC-c曲面（常中曲率为c的曲面）与R^3中的极小曲面的关系，利用初等方法证明了H^3（-c^2）中的一个CMC-c曲面族，当c趋于零时，收敛到
近年来，美国的健身专家们设计了一种新型的健身运动——“手跑”。顾名思义，“手跑”即是以“手”为中心进行的健身活动。研究认为，“手跑”特别适合腿脚不便或有残疾的老年人，不
利用Arnol＇d的Legendrian理论,对三维Anti de Sitter空间中Lorentzian曲面进行了研究.引入光维高度函数概念研究了三维Anti de Sitter空间Lorentzian曲面的S1t×S1s-值、
普华永道《中国房地产并购市场2017年回顾》新闻发布会显示，2017年全年，中国境内房地产相关的并购交易金额810亿美元，同比增加30．6％。
针对提高无线传感器网络的稳定性及其生存时间的问题,结合TEEN和DEEC方法,通过设置相关参数,提出了一种新的路由算法即改进的能量有效性算法EEER,并进行了仿真实验.结果表明,
据南非国家统计局6月6日公布的最新数据,继去年四季度负增长0.3%后,南非一季度国内生产总值（GDP）环比负增长0.7%,连续第二个季度出现负增长。这一数据超出了市场预期,连续两个
蕹菜又叫空心菜,为旋花科牵牛花属一年生蔬菜,是南方热带多雨地区的主要蔬菜.一般为夏季高温潮湿季节种植,按其对水分的适应性分为旱生和水生.我场冬季大棚种植蕹菜以旱生品