论文部分内容阅读
针对命题逻辑系统L^＊，以及增加一元联结词△后的系统L^＊Δ，研究了该逻辑系统有效集的特征，进而以有效集为工具得到公式集F（S）的一类分划，即可将L^＊与L^＊Δ中的公式集F（S）分别分为16和20个等价类；最后给出了L^＊中对MP规则封闭的有效集的特征。
命题逻辑系统L^＊的有效集
【摘 要】
：
针对命题逻辑系统L^＊，以及增加一元联结词△后的系统L^＊Δ，研究了该逻辑系统有效集的特征，进而以有效集为工具得到公式集F（S）的一类分划，即可将L^＊与L^＊Δ中的公式集F（S）分别分为16和20个
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
模糊系统与数学
【发表日期】
：
2006年2期
【基金项目】
：
国家自然科学基金资助项目（10471083）
其他文献
目前，会计舞弊已成为破坏经济秩序和发生腐败犯罪的国际通病。从我国内地ST猴王、蓝田股份、麦科特、三九药业、ST黎明股份亿元造假上市；银广夏、琼民源、PT红光、郑百文的欺诈
模糊错误逻辑对现实世界的对象用（u，x）表示为（（U．S（t），p^→,T（t），L（t）），（x（t）=f（（u）,p^→），Gu（t）），Gu（t）），用模糊错误变换矩阵可以表示分解、相似、增加、置换、毁灭、单位变换等6种变换方法，本论文基于求解方
15世纪初明代早期体型最大、手工最细致的铜像——明永乐释迦牟尼坐像以1．04亿港币的价格落槌(加上佣金后其成交价为1．166亿港币),这是中国工艺品拍卖的世界纪录。
一、前言20年来的企业管理发展，从人治管理到法制管理，从经验化管理到精确化管理，财务管理在其中都起到了不可替代的重要作用。传统的财务管理关注会计核算，通过报告企业的盈利能
北宋祖刻《淳化阁帖》最善本,被视为中国50年来最重要的回归古代文物之一。2003年春天,上海博物馆成功从美国购回国宝级珍贵文物成为文博界的佳话。国宝的回归就像是一部历险
一、公共财政下的社会主义新农村建设所谓公共财政，是指以国家（或政府）为主体，通过政府的收支活动，集中一部分社会资源，用于履行政府职能，提供公共产品以满足社会公共需要的经济活动
一、设立中公司的概念、特征 公司在社会经济生活中作用的发挥，以公司的有效存在为前提，只有公司孕育行为健康，将来成立的公司才能健全。公司设立阶段所创建的规则和制度决定着
讨论格值一阶逻辑系统LF（X）中带广义量词的不确定性推理规则，和FMP、FMT规则。为研究带广义量词的归结自动推理作准备，也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。
我国的会计电算化工作起步较晚,尚处于生长发育期,因此在电算化会计的发展过程中有许多工作要做,有许多问题要及时解决,否则将严重阻碍我国会计电算化向更深层次的发展。
面向对象系统开发是非常值得推荐的一种信息系统开发技术，它尤其适合于近几年出现的企业Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ系统。本文深入地探讨面向对象技术－ＯＭＴ模型在ＪＡＶＡ环境下的实现问题，并提出了如何利用ＪＡＶＡ技术实现关