【摘 要】
:
首先计算了四个n值命题逻辑系统L^*,Luk,God及Ⅱ中一个典型公式P1→P2真度;然后比较了公式P1→P2在这四个逻辑系统中真度的大小并分析了真度差异的原因;最后,研究了每个逻辑系统中
【基金项目】
:
基金项目:教育部科学技术研究重点项目(206089),聊城大学科研项目(X071043)
论文部分内容阅读
首先计算了四个n值命题逻辑系统L^*,Luk,God及Ⅱ中一个典型公式P1→P2真度;然后比较了公式P1→P2在这四个逻辑系统中真度的大小并分析了真度差异的原因;最后,研究了每个逻辑系统中公式P1→P2的真度随n变化的情况。
其他文献
在各个行业中都积累了大量有价值的数据,但如何将这些数据进行商业变现?恒麟信息在尝试了很多方法之后,终于找到一些模式,大数据精准营销就是其中的代表。我们生活在一个数据
研究max-Lukasiewicz复合推理下的模糊图灵机。形式化定义了模糊图灵机——确定型模糊图灵机、非确定型模糊图灵机、带部分转移函数的非确定型模糊图灵机和多带模糊图灵机,研
从当前看,引领这个时代变化最前沿的技术就是OSS技术。今天我们谈到了OSS这个话题,而且有很多人一大早就来到了会场,我想这是非常积极的一面。开源是对于世界经济做出积极贡
会计管理工作是企业管理工作重要的一环,是一切管理活动的前提基础与条件。做好企业内部会计管理工作,能在一定程度上提高管理水平,对于促进企业的稳定发展具有十分重要的现实意
入世以来,我国经济正处在转型期,如何进行预算会计制度改革、财政管理改革,使其与国际会计制度接轨,提高资金使用效率、降低成本,是每个进行独立核算的单位所面临的关键任务。收付
开源的发展离不开领导力,FreeBSD发布多种开源许可证,但我们希望软件开发者可以根据自己喜好进行选择。FreeBSD是一个由基金会支持的技术公司,产品种类繁多,今天跟大家分享一
市场经济的不断发展变化,在给企业带来机遇的同时也带来了相应的挑战。企业要在激烈的市场竞争中站稳脚,就需要做好会计内部控制,这样才能保证企业生产经营活动的正常稳定开
在我国,随着公路铁路网的完善,新建公路铁路的桥隧比明显提高,为桥梁工程提供了巨大市场。随着桥梁老化,拆桥、桥梁维护监测市场巨大。近年来,我国桥梁基建方面改革不断深入,
随着我国信息化的发展,一些企业已经开始利用信息化进行财务资金管理,并且对其要求越来越高,财务管理也越来越科学化,但是,目前一些企业的财务管理出现问题,影响企业的经济发