【摘 要】
：
本文以充分条件关系的形式化即充分条件式A→B以及塔尔斯基形式语句真的定义为基础，建立了命题逻辑充分条件推理系统Ps和NPs，它们有可靠性定理，A＋B当且仅当г＋A→B，其中A→B是г充
论文部分内容阅读
本文以充分条件关系的形式化即充分条件式A→B以及塔尔斯基形式语句真的定义为基础，建立了命题逻辑充分条件推理系统Ps和NPs，它们有可靠性定理，A＋B当且仅当г＋A→B，其中A→B是г充分条件式，直观的反证法和归廖法不是充分条件推理，在NPs中它们被矛盾证法即矛盾吸收律，A，A→A／－A或－A，－A→A／A所代替，NPs是容许逻辑矛盾的，但受矛盾吸收律的制约，充分条件式A→B(-A→B)是Ps 的定理但不具重言式意义，数的次序理论可按NPs逻辑建立起来，x=y被义为x<y且y<x，以此代替“同一
其他文献
四川省长期以来一直是全国最大的甘薯种植省份,曾经为解决人民温饱问题作出了很大贡献。近年来,随着农村种植业形势的发展,甘薯种植面积下滑,甘薯的需求、利用和种植结构发生
提出了一种基于分类性能的二维主分量特征选择方法。即将二维主分量分析中图像总体散布矩阵的特征向量在二维线性鉴别分析的目标函数上进行投影,并选择分类性更好的特征向量进行投影。另外,为了保持原有的二维主分量分析主特征的优点,对最后的投影特征向量进行组合,也就是最后的投影特征向量选取对图像重建和图像分类分别起着重要作用的特征进行组合。在XM2VTS标准人脸库上的试验结果表明,所提出的方法融合了两种具有互补
Ｓｕｎ推出新一代网络服务器本刊讯ＳｕｎＭｉｃｒｏｓｙｓｔｅｍｓＣｏｍｐｕｔｅｒ公司为了把其网络计算能力提供给全球企业，于１９９６年４月３０日在北京宣布推出高度超前的ＵｌｔｒａＥｎｔｅｒｐｒｉｓｅ商业服务器系列。这些服务器是第一批充分利用新一代“网络意...
在网络技术高速发展的今天,网络教育作为一种全新的教育方式,以其双向性、实效性、互交性和可控性显露出巨大的优越性,丰富着教育内容与教育方式,正日益受到人们的青睐,使现
加入WTO促使有关私营经济立法、执法水平的提高,从而使私营经济作为公平竞争的市场主体的法律地位得到更加可靠的保障,使私营经济得以健康的发展.
人才培养模式决定着学校的办学类型和办学目标的定位.文章旨在对新建本科院校人才培养模式进行一些探索,即"模块+双重目标型"人才培养模式的构建,从而能够更好的指导新建本科
<正> 花粉是有花植物雄性花蕊中一种呈粉末状的雄性生殖细胞,是植物繁衍后代的范围和精华。我国是应用花粉治疗疾病和作为强身保健药物的最早国家之一。早在二于多年前《神农
本文讨论进化心理学家对思维进行的以进化论为基础的目的论研究,对他们所提出的'马基雅维利智能假说'和'社会模块假说'作出具体的分析和评价.
<正>紫雪(紫雪散)为传统古方,有清热解毒、止痉开窍的功能,主治热病,高热烦躁,神昏谵妄,惊风抽搐,斑疹吐衄,尿赤便秘。文献报道有解热、抗惊厥等作用。为克服散剂服用之不便,
男性精浆α－糖苷酶微量检测的研究王望九，陈永华，汤明礼，李笑梅，孔梅（安徽中医学院组织胚胎教研室合肥２３００３８）关键词α－糖苷酶；精液；微量检测；男性不育症自１９９２年以来，对２４２例正常和不育男性用微量检测