全功能联结词集合的计算机实现

对数理逻辑中的各种联结词所构成的集合进行了讨论,并用计算机编程进行理论推导,把逻辑推理转化为计算机能够实现的0,1运算,用计算机实现了逻辑推理的全过程.得到的主要结果是:全功能联结词集合一共11个,其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合2个;没有四阶及四阶以上的全功能联结词集合.这便修正了近年来有关全功能联结词的一个错误结论.     

全功能联结词集合的一个注记

本文对数理逻辑中的各种联结词所构成的集合进行了讨论,得到全功能联结词集合,指出了12个全功能联结词集合.其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合3个;没有四阶及四阶以上的全功能联结词集合.     

F命题演算

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。     

MPM中的等值完全析取范式

主要讨论中介逻辑命题演算系统MP^M中等值意义下的完全析取范式的存在性和唯一性，同时举例说明该范式的作用，用该范式分为真理项与矛盾项两部分，形式简洁，为规范化研究该系统中的合式公式提供了一种工具，此外，还给出了构造中介逻辑命题演算系统MP^M的联结词的归纳。     

联结词的完备集

本文列举了逻辑演算中的各种联结词,对这些联结词所构成的完备集进行了较为详尽的讨论,给出了证明,同时对不完备的联结词集合也给出了一般的证明方法.     

模糊错误逻辑事物分解转化联结词的研究

给出模糊错误逻辑事物分解转化联结词所涉及的概念、运算,并对模糊错误逻辑事物分解转化联结词与外延联结词∧合取,∨析取,∨bxr不相容析取等和模糊错误逻辑事物分解转化联结词与内涵联结词┓bz不只否定,内涵联结词┓bj不尽否定,内涵联结词┓bx不限否定,内涵联结词┓bd不断否定等的关系作了一些探索和研究。     

略谈中学数学的逻辑基础的教学

为解决教学上的重点难点，本文从学生实际出发，抓住关键，编制这一章节的内容结构框图。根据教材潜在形式逻辑的线索，采取分析归纳，提纲挈领，旨在形成学生的思维结构的同时去理解命题逻辑的概念，掌握逻辑命题的演算和逻辑联结词，及其在中学数学中应用。     

MU(1)内公式改名的多项式可判定性

研究判定合取范式公式F和H之间是否存在一个改名φ使得φ(F)＝H的计算复杂性。公式的改名是将命题变元映到变元本身或变无的否定的一个映射，对于极小不可满足公式的子类射MU／(1)中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。     

命题公式的一种演绎判定方法

命题公式的判定是人工智能领域中的一个核心问题。目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而这种演绎过程是许多推理性应用的重要依据,本文针对命题演算系统L,给出了一种可同时给出演绎过程的判定方法——演绎判定方法。首先提出了消解复杂性的两种范式：最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P(F),并基于ML语言设计了基于P(F)的演绎判定机DMBD。     

判定多值逻辑推导问题的代数方法

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解，给出了判定这一问题的算法。     

对比英汉复句中的连词

连词的用法大致可分两类：一是连词的使用要受语言情境的影响和制约；二是另一方面，连词对句子的传辞迭意也能产生影响。本文以Halliday功能语法学中的信息结构的相关理论为理论基础．试图探讨英汉连词在履行这两种功能时的使用差异和差异产生的深层原因。     

中国学者英语学术论文中的语篇衔接手段——基于可比语料库的研究

从不同语义连接词在两个语料库中出现的次数上来看,中国学者与英语本族语学者使用情况基本相同,这说明中国学者已经掌握英语学术论文的写作特征。由于母语迁移的影响和回避策略的使用,中国学者在连接词的使用上仍存在不足,如他们使用连接词的总频率低于英语本族语者,用词局限在少数简单的连接词上以及正式文体中出现口语化倾向等。     

俄语无连接词复合句中标点符号的使用

俄语中无连接词复合句是一个相当复杂和难以掌握的句法结构，它与有连接词的复合句相对应，有其独特的联系手段，通过论述标点符号在无连接词复合句中的句法作用，分析其意义。     

话语联系语与大学英语写作教学

综合语篇连贯理论和关联理论，指出话语联系语在书面语篇的生成和理解中，具有语篇组构功能和认知引导功能。调查、分析地方性本科大学非英语专业学生在英语写作中话语联系语的使用情况，提出利用话语联系语提高学生英语写作水平的教学建议。     

可满足公式到极小不可满足公式MU(1)的扩张复杂性

可满足合取范式（CNF）公式F到极小不可满足公式MU（1）的扩张是,对给定的CNF公式F,是否存在一个公式G满足条件var（G）包含var（F）并使得F＋G∈MU（1）。Horn公式到MU（1）公式的扩张问题可在多项式时间内解决,但对一般CNF公式F的扩张问题,至今尚未解决。这里我们将给出一个多项式时间的算法解决这一问题。     

Propositional Vector Logic System and Its Adequacy Thcorem

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.     

话语联系语的语篇功能与英语写作教学

话语联系语在书面语篇的生成和理解中,具有语篇组构功能和认知引导功能。恰当使用话语联系语,有助于构建和凸显语篇话语单元间的逻辑语义关系,增强语篇连贯性,有效传递写作者的交际意图,从而减少读者理解的认知努力,并引导读者获取最大语境效果。在英语写作教学中,应引导学生准确、合理和多样化地使用话语联系语,以提高学生英语写作局部及整体连贯水平。