共查询到17条相似文献,搜索用时 109 毫秒
1.
对数理逻辑中的各种联结词所构成的集合进行了讨论,并用计算机编程进行理论推导,把逻辑推理转化为计算机能够实现的0,1运算,用计算机实现了逻辑推理的全过程.得到的主要结果是:全功能联结词集合一共11个,其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合2个;没有四阶及四阶以上的全功能联结词集合.这便修正了近年来有关全功能联结词的一个错误结论. 相似文献
2.
联结词的完备集 总被引:1,自引:0,他引:1
陈慕昌 《苏州大学学报(医学版)》1989,5(1):47-51
本文列举了逻辑演算中的各种联结词,对这些联结词所构成的完备集进行了较为详尽的讨论,给出了证明,同时对不完备的联结词集合也给出了一般的证明方法. 相似文献
3.
楼建华 《石河子大学学报(自然科学版)》2006,24(4):494-496
简单讨论二元域F2及其性质。采用映射定义联结词和命题公式,把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式,给出全功能联结词集的判定条件。 相似文献
4.
王耀富 《黔西南民族师范高等专科学校学报》2011,(2)
给出模糊错误逻辑事物分解转化联结词所涉及的概念、运算,并对模糊错误逻辑事物分解转化联结词与外延联结词∧合取,∨析取,∨bxr不相容析取等和模糊错误逻辑事物分解转化联结词与内涵联结词┓bz不只否定,内涵联结词┓bj不尽否定,内涵联结词┓bx不限否定,内涵联结词┓bd不断否定等的关系作了一些探索和研究。 相似文献
5.
对数理逻辑中最小联结词组的扩展讨论 总被引:5,自引:0,他引:5
邓燕 《嘉兴高等专科学校学报》1999,12(4):47-51
在数理逻辑中,对最小联结词组的研究,目前多限于讨论常见的五、六个词组。本文对一个二元联结词和两个二元联结词构成的联结词组进行了系统的分析论证,从中找全了九个最小联结词组。 相似文献
6.
陈云坤 《安徽师范大学学报(自然科学版)》2011,34(2):107-109,127
主要讨论子群的阶的集合对单群的影响,并用子群的阶的集合刻画部分单群,得出若两个单群的子群的阶的集合相等,则这两个单群同构. 相似文献
7.
偏序集上关联蕴涵代数的性质 总被引:4,自引:0,他引:4
李志伟 《首都师范大学学报(自然科学版)》2003,24(2):15-18
偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象.在偏序集关联蕴涵代数概念的基础上,本文对其性质进行了一定的讨论,给出了它与其它逻辑代数结构间的关系. 相似文献
8.
主要讨论中介逻辑命题演算系统MP^M中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用,用该范式分为真理项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具,此外,还给出了构造中介逻辑命题演算系统MP^M的联结词的归纳。 相似文献
9.
研究了n阶 powerful符号矩阵及 powerful带号有向图的基指数 .对一类重要的powerful带号有向图 ,即n阶负Cr cockade有向图 ,证明了其基指数总等于d -r 1 (其中d是该有向图的直径 ) ;并在此基础上进一步确定了该类图 (及相应的矩阵类 )的基指数所构成的集合 .还进一步确定了所有n阶 pwerful符号矩阵的基指数所构成的集合就是n阶非负矩阵的幂敛指数所构成的集合 相似文献
10.
含一阶导数的半线性四阶边值问题的多重正解 总被引:3,自引:0,他引:3
通过构造适当的锥并且利用方程的分解技巧研究了一类含一阶导数的半线性四阶边值问题的正解.主要工具是三阶两点边值问题的一个Green函数及锥拉伸与锥压缩型的Krasnasel'skii不动点定理.在力学中,这类问题描述了一端固定,另一端活动的弹性梁的形变.结论表明只要非线性项在某些有界集合上的"高度"适当,这类问题至少存在n个正解. 相似文献
11.
With the paradigm of holistic thinking and multiple per-spectives,an overall new understanding of logic is ob-tained for reasoning in collective intelligent systems(CIS).Based on the hypothesis of multiple resolutions ofreasoning in CIS,the logical state of a proposition isgeneralized into an n-dimensional vector whose elementis either 1 or 0.In contrast with classical logic with bina-ry truth-values,a propositional vector logic system isconstructed by introducing new connectives,new axi-oms,and new rules.Adequate sets of connectives areprovided.The soundness theorem and the adequacy the-orem for the vector logic system are shown. 相似文献
12.
从不同语义连接词在两个语料库中出现的次数上来看,中国学者与英语本族语学者使用情况基本相同,这说明中国学者已经掌握英语学术论文的写作特征。由于母语迁移的影响和回避策略的使用,中国学者在连接词的使用上仍存在不足,如他们使用连接词的总频率低于英语本族语者,用词局限在少数简单的连接词上以及正式文体中出现口语化倾向等。 相似文献
13.
吴雯 《温州大学学报(自然科学版)》2010,(1):99-104
商务英语信函语篇连接词丰富,形式多样,具有突出主题与提供商品信息等功能,是重要的构建语篇连贯的衔接手段之一。商务英语信函翻译要注意语篇连接词中关键词汇的正确使用及长句中英汉形合与意合对比。 相似文献
14.
李华 《大连民族学院学报》2003,5(2):55-56,63
俄语中无连接词复合句是一个相当复杂和难以掌握的句法结构,它与有连接词的复合句相对应,有其独特的联系手段,通过论述标点符号在无连接词复合句中的句法作用,分析其意义。 相似文献
15.
一类含隅角和弯矩的梁方程的正解存在性与多解性 总被引:1,自引:1,他引:0
姚庆六 《兰州大学学报(自然科学版)》2006,42(4):127-130
利用锥上的Krasnosel'skii不动点定理考察了非线性项含有隅角和弯矩的四阶弹性梁方程{u(4)(t)=f(t,u(t),u'(t),u"(t)),0≤t≤1,u(0)=u(1)=u"(0)=u"(1)=0的正解.在材料力学中,该方程描述了一类两端简单支撑的弹性梁的形变.结论表明这个方程可以具有n个正解,只要非线性项在某些有界集上的"高度"是适当的,其中n是一个任意的自然数. 相似文献
16.
连词的用法大致可分两类:一是连词的使用要受语言情境的影响和制约;二是另一方面,连词对句子的传辞迭意也能产生影响。本文以Halliday功能语法学中的信息结构的相关理论为理论基础.试图探讨英汉连词在履行这两种功能时的使用差异和差异产生的深层原因。 相似文献
17.
林元龙 《莆田高等专科学校学报》2008,(1):45-49
综合语篇连贯理论和关联理论,指出话语联系语在书面语篇的生成和理解中,具有语篇组构功能和认知引导功能。调查、分析地方性本科大学非英语专业学生在英语写作中话语联系语的使用情况,提出利用话语联系语提高学生英语写作水平的教学建议。 相似文献