关于主范式的下标集合及其应用

来源 :青岛理工大学学报 | 被引量 : 0次 | 上传用户:xcswzq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并对命题公式的蕴涵问题进行等价描述;对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论.
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
进入21世纪以来,随着我国城市化进程的不断加快,城市社区治理的重要性也逐渐凸显出来。城市社区治理不仅是我国构建基层民主的一种重要实现形式,也是保障社区公共供给、优化社区秩序、满足社区多样化发展需求的一种重要手段。重庆作为新中国最年轻的直辖市,在《第一财经周刊》评选的2018年15个新一线城市中位列第三,显示出较好的经济发展势头。根据国家统计局发布的《中国统计年鉴2017》资料显示,2016年中国的
叶月瑜(Emilie Yueh-yu Yeh),1965年生,1995年获得美国南加州大学电影学博士学位,现为香港浸会大学电影学院教授、传播与媒介研究中心主任。出版著作《三地传奇——华语电影
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
目的自然发酵筛选对小米改性起主要作用的菌种,并对发酵菌株的特性进行分析。方法用培养基筛选小米自然发酵液中主要菌种,分离纯化后,进行菌株生理生化鉴定、26S r DNA、16S
本文结合继电保护系统的装配原理、变电站供电层的继电保护系统、过程层的继电保护系统三个方面进行分析,对智能变电站中继电保护装置的建设作出规划,并提出一些合理性的探究
杭州湾跨海大桥打通上海南翼、开拓宁波北大门,于2008年5月1日正式通车,至今运营十年周年。通车十年来,本文对杭州湾跨海大桥对周边区域的经济贡献进行研究,研究结果表明:杭
实施差异化能够使中小快速消费品企业提供与众不同的产品和服务,避免了与已有大企业的直接竞争,同时便于形成溢价以增加利润.
为了有效提高船舱室内设计的合理性,设计在当前船舱室内设计中,引入虚拟现实技术提出新型设计方案。根据虚拟现实技术和船舶舱室内部空间行,构建当前船舶舱室的前导数集,根据