论文部分内容阅读
命题联结词集合的完备性和不完备性是命题逻辑中一种有趣的现象，证明了联结词集合{∨，∧，←→，→}和{～，←→}的不完备性，并在表明联结词集合{～，∧），{～，∨）和{～，→}是完备的基础上证明了两个单元集{↓}和{｜}是完备的。
若干命题联结词集合的完备性和不完备性证明
【摘 要】
：
命题联结词集合的完备性和不完备性是命题逻辑中一种有趣的现象，证明了联结词集合{∨，∧，←→，→}和{～，←→}的不完备性，并在表明联结词集合{～，∧），{～，∨）和{～，→}是完备的基础上证明了两个单
【机 构】
：
湖北大学哲学学院
【出 处】
：
武汉工程职业技术学院学报
【发表日期】
：
2010年1期
其他文献
多环芳烃(Polycyclic aromatic hydrocarbons,PAHs)是环境中广泛存在的一类持久性有机污染物(Persistent organic pollutants,POPs),主要产生于煤、石油等化石燃料的不完全燃
妙玉是“金陵十二钗”中唯一的幽尼。曹雪芹为妙玉“树碑”的文字中写了一个大字:“怪”。而“怪”的表现,就是“傲”,就是“洁”,“傲”“洁”成癖,这就是妙玉的“怪癖”。
采用长春市WorldView-3高分辨率遥感影像数据,利用面向对象方法建立多尺度网络层,同时基于不同地物的光谱、几何特征构建了eCognition中的分类规则集,提取了城市下垫面用地信息。最后通过混淆矩阵对分类结果进行精度评价,得到较好的分类效果。本次研究初步解决了阴影归类和建筑与硬质地面区分等问题,提高了城市下垫面信息提取精度。
以社区犯罪案件为主要对象,研究马鞍山市犯罪案件的空间分布特征。结合数据挖掘技术、GIS技术与数学建模,根据犯罪心理学和刑侦学相关理论,建立OLR、GWR和GTWR 3种犯罪地理目
摘要：随着我国改革开放以来，国民经济的不断发展，电力领域也突飞猛进，特别是电力系统自动化技术已得到了普遍应用和发展，各种技术功能也目益完善。本文先从电力调度自动化技术与发
山西西龙池抽水蓄能电站上水库输水系统的进／出水口混凝土面板由于诸多因素影响，产生多条浅层裂缝。本文分析了裂缝产生的原因，并选择了经济合理的处理方法，节省了工程投资，有效地
高密度集约化的淡水养殖模式中氮污染已成为淡水养殖健康发展的瓶颈之一。当前的淡水养殖迫切需要寻找一种快速有效的脱氮方法来解决养殖水体的氮污染问题。近年新发现的厌氧
随着经济和社会迅猛发展,包头市城市规划的建设水平不断提升,水环境压力日益增加,水污染物排放量不断增大和污水处理能力不足的矛盾凸显,水环境功能区划作为水环境保护的科学
微囊藻毒素(MCs)是一类在蓝藻水华污染中出现频率最高、产量最大、造成危害最严重的蓝藻毒素。近来研究发现,MCs具有生殖毒性,能导致性腺病理损伤,体内性激素水平紊乱,是潜在
汞（Hg）作为一种具有挥发性、高毒性和生物累积性的重金属,广泛存在于自然界中。国内外大量研究证实,筑坝拦截形成的水库环境有利于汞活化、甲基化和生物累积,是典型的“汞敏感