论文部分内容阅读
蕴涵是各种逻辑系统中一种最基本和常用的逻辑运算，它有古典，Ｇｏｄｅｌ，Ｌｕｋａｓｉｅｗｉｃａ等蕴涵之别。本文引入最后一种，即Ｌｕｋａｓｉｅｗｉｃａ蕴涵的概念，并研究了它的一些基本性质和应用。
Lukasiewicz蕴涵
【摘 要】
：
蕴涵是各种逻辑系统中一种最基本和常用的逻辑运算，它有古典，Ｇｏｄｅｌ，Ｌｕｋａｓｉｅｗｉｃａ等蕴涵之别。本文引入最后一种，即Ｌｕｋａｓｉｅｗｉｃａ蕴涵的概念，并研究了它的一些基本性质和应用。
【机 构】
：
数学系
【出 处】
：
淮北煤师院学报：自然科学版
【发表日期】
：
1996年3期
其他文献
今年以来，江苏省各级农经部门继续认真贯彻省委、省政府关于农民收入倍增的工作部署，坚持把牵头组织实施农民收入倍增计划作为当前农业农经工作的中心任务，积极创新思路、创新政
采用液体摇瓶培养法,对金针菇深层培养的适用碳、氮源,最适浓度及其发酵周期进行了探讨.结果表明,金针菇深层培养的适用碳源是籼米粉,适用氮源是黄豆饼粉,其最适碳源浓度为 2
伴随计算机技术以及互联网的快速发展和普及,现阶段已经逐渐形成一种“万物皆媒”的新环境,这对于数字媒体技术的发展 具有很大的促进作用,也让数字媒体技术得到了更加广泛的
自动化技术的出现为机械设计制造带来新的动力，在制造业领域中自动化技术可以完美融入机械制造中，不但可以提高产品的质量，而且还能节省大量的人力。自动化技术的应用有效提高机
一、工程概况郑州金水科教园区107辅道以东基础设施工程项目位于郑州市金水科教园区内107辅道-郑港大道-连霍高速合围区域,是郑州市路网体系的重要组成部分。规划设计包括32
指出了建筑垃圾数量的快速增加造成我国资源的大规模浪费和严重的生态危机。对国外及我国内部地区建筑垃圾利用现状进行不同角度分析,借鉴发达国家成熟的经验,结合我国地区特
皮娜·鲍什是德国最著名的舞蹈编导大师,她确立了“舞蹈剧场”的发展方向,是现代舞史上里程碑的人物。她编舞的风格独树一帜,关注的主题鲜明,舞蹈剧场的形式个性,成为舞蹈界
2013年，盐城市农科院围绕“乡村旅游和特色农业关键技术集成与产业化示范”主攻方向，以杨侍村“江苏稳强农业生态园”为科技示范基地，重点建设农业生态旅游、有机果蔬、优质稻米
溧阳市瓦屋山林场现有面积25213亩，分为杨湾、曹山、洋河、荼厂、芳山5个林业工区，森林覆盖率达85％以上，其中乔木林地17979亩，竹林2772亩，荼叶1375亩，2003年被江苏省农林厅评为“省
神经系统副肿瘤综合征和特异性神经元抗体钱伟东陈齐鸣综述神经系统副肿瘤综合征（Ｐａｒａｎｅｏｐｌａｓｔｉｃｓｙｎｄｒｏｍｅｏｆｔｈｅｎｅｒｖｏｕｓｓｙｓｔｅｍ，ＰＮＳＮＳ）系指好发于某些癌症的神经系统综合征。目前认为其发病机理与自身免疫有关。１发病机理...